Strategies for real-time system specification - Hatley, Derek J.; Pirbhai, Imtiaz A. (Dorset House Publ., 1987)