Jonathan S. Ostroff, Walter Murray Wonham: Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems. RTSS 1987: 124-132