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