Structured development for real-time systems - Ward, Paul T.; Mellor, Stephen J. (Yourdon Pr., 1985)