A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems - Research Database, The University of York Other