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

by W Damm, B Josko, H Hungar, A Pnueli
Venue:COMPOS’ 97, volume 1536 of LNCS