Strategies for real-time system specification - Hatley, Derek J. 1934- (Dorset House Pub., 1988)