Modal event-clock specifications for timed component-based design (2011)

by Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet
Venue:Science of Computer Programming