publication venue for Connecting Good Theory to Good Practice: Software Documentation: A Case Study 2008 A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems 2001