Software specification and design : a disciplined approach for real-time systems - Shumate, Kenneth C. (Wiley series in sofware engineering practice, 1992)