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