Syntax and semantics of the clock constraint specification language(CCSL), 2009. ,
SPIN Model Checker, 2003. ,
A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, 1998. ,
DOI : 10.1109/43.736561
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
Modeling time(s) Lecture Notes in Computer Science, pp.559-573, 2007. ,
Specification and Verification of Time Requirements with CCSL and Esterel, Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages , compliers, and tools for embedded systems, 2009. ,
Correct transformation: From object-based graph grammars to PROMELA, Science of Computer Programming, vol.77, issue.3, 2011. ,
DOI : 10.1016/j.scico.2011.03.010
URL : http://dx.doi.org/10.1016/j.scico.2011.03.010
Verification of giotto based embedded control systems, Nordic Journal of Computing, 2006. ,
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), 2001. ,
DOI : 10.1109/CDC.2001.980712
Signal and Petri nets, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00283077
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning, 2011. ,
DOI : 10.1109/TIME.2011.10
URL : https://hal.archives-ouvertes.fr/inria-00540738
Implementing Discrete Time in Promela and Spin, International Con-ference on Logic in Computer Science, LIRA '97, 1997. ,
Integrating Real Time into Spin: A Prototype Implementation, Theoretical Computer Science, vol.309, pp.313-355, 2003. ,
New Bisimulation Semantics for Distributed Systems, FORTE 2007, Proceedings, pp.143-159, 2007. ,
DOI : 10.1016/j.tcs.2006.03.004
An action-based framework for verifying logical and behavioural properties of concurrent systems. Compututer Network and ISDN Systems, pp.761-778, 1993. ,
Implementing a model checking algorithm by adapting existing automated tools Automatic verification methods for finite state systems, pp.179-188, 1990. ,
Bisimulation and logical preservation for continuous-time markov decision processes. Concur, pp.412-427, 2007. ,
Logic of transition systems, Journal of Logic, Language and Information, vol.18, issue.4, pp.247-283, 1994. ,
DOI : 10.1007/BF01160018
Enhancing partial-order reduction via process clustering, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2001. ,
DOI : 10.1109/ASE.2001.989810