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

by Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli
Venue:Lecture Notes in Computer Science