Structured Development for Real Time Systems: v.2: Essential Modelling Techniques by Stephen J. Mellor, Paul T. Ward, Stephen J. Mellors (Paperback, 1986)