A compositional real-time semantics of STATEMATE designs (1998)

by W Damm, B Josko, H Hungar, A Pnueli
Venue:in Proc. COMPOS’99, Lecture Notes in Computer Science 1536