Structured development for real-time systems. - Ward, Paul T. (Yourdon Press, 1985)