Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems.

Jonathan S. Ostroff, Walter Murray Wonham

Browse the full RTSS paper archive.