Syntax and Semantics of the Clock Constraint Specification Language (CCSL), Research Report n?6925n?6925, 2009. ,
« Specification and Verification of Time Requirements with CCSL and Esterel, pp.167-176, 2009. ,
Modeling Time(s), Lecture Notes in Computer Science, vol.4735, pp.559-573, 2007. ,
DOI : 10.1007/978-3-540-75209-7_38
Heterogeneous reactive systems modeling, Proceedings of the fourth ACM international conference on Embedded software , EMSOFT '04, pp.220-229, 2004. ,
DOI : 10.1145/1017753.1017790
URL : https://hal.archives-ouvertes.fr/inria-00001058
Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.2-2, 1991. ,
DOI : 10.1016/0167-6423(91)90001-E
« Time Petri Nets Analysis with TINA », QEST, IEEE Computer Society, pp.123-124, 2006. ,
Efficient implementation of a BDD package, Conference proceedings on 27th ACM/IEEE design automation conference , DAC '90, pp.40-45, 1990. ,
DOI : 10.1145/123186.123222
ATESST Timing Model, 2008. ,
On the Semantics of UML/MARTE Clock Constraints, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.305-312, 2009. ,
DOI : 10.1109/ISORC.2009.27
URL : https://hal.archives-ouvertes.fr/inria-00383279
Programmable Models of Computation for the Component- Based Virtual Prototyping of Heterogeneous Embedded Systems, 2009. ,
Algorithms and Data Structures in VLSI Design, 2007. ,
DOI : 10.1007/978-3-642-58940-9
Object Management Group, pp.9-14, 2009. ,
Concurrency Theory, Lecture Notes in Computer Science, vol.254, pp.4-24, 1987. ,
DOI : 10.1007/978-3-540-47919-2_2
Petri nets : an introduction, Monograph on Theoretical Computer Science, 1985. ,