Structured Development for Real-Time Systems, Volume 2 door Stephen J. Mellor & Paul T. Ward