Modal event-clock specifications for timed component-based design

Nathalie Bertrand (1) , Axel Legay (2) , Sophie Pinchinat (3) , Jean-Baptiste Raclet (4)

1 VERTECS - Verification models and techniques applied to testing and control of reactive systems
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
3 S4 - System synthesis and supervision, scenarios
4 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées

Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. Modal event-clock specifications for timed component-based design. Science of Computer Programming, 2012, 77, pp.1212-1234. ⟨10.1016/j.scico.2011.01.007⟩. ⟨hal-00752449⟩