Software design methods for concurrent and real-time systems - Gomaa, Hassan (The SEI series in software engineering, 1993)