Structured development for real time systems - Mellor, Stephen J.