STRATEGIES FOR REAL TIME SYSTEM SPECIFICATION - Hatley, Derek J. (Dorset House Publishing, 1987)