A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems