Structured development for real-time systems - Ward, Paul T.; Mellor, Stephen J. (Yourdon computing series, 1986)