Modal event-clock specifications for timed component-based design

Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. Modal event-clock specifications for timed component-based design. Science of Computer Programming, 77(12):1212-1234, 2012. [doi]

Abstract

Abstract is missing.