Structured Development for Real-Time Systems, Vol. II: Essential Modeling Techniques - Ward; Mellor