Software design methods for concurrent and real-time systems - Gomaa, Hassan (Addison-Wesley Publishing Company, 1993)