Ward, Paul T. Structured development for real-time systems - New York, N.Y. : Yourdon Press, c1985-c1986