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