C. Helmstetter, F. Maraninchi, L. Maillet-contoz, and M. Moy, Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip, 2006 Formal Methods in Computer Aided Design, 2006.
DOI : 10.1109/FMCAD.2006.10

URL : https://hal.archives-ouvertes.fr/hal-00311006

F. Ghenassia, Transaction-Level Modeling with SystemC. TLM Concepts and Applications for Embedded Systems, 2005.

T. Kuhn, T. Oppold, M. Winterholer, W. Rosenstiel, M. Edwards et al., A framework for object oriented hardware specification, verification, and synthesis, Proceedings of the 38th conference on Design automation , DAC '01, pp.413-418, 2001.
DOI : 10.1145/378239.378537

C. Flanagan and P. Godefroid, Dynamic partial-order reduction for model checking software, Symposium on Principles of programming languages (POPL), pp.110-121, 2005.

A. Mazurkiewicz, Trace theory Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency, pp.279-324, 1987.

R. Clarisó and J. Cortadella, The Octahedron Abstract Domain, Static Analysis, 11th International Symposium, pp.312-327, 2004.
DOI : 10.1007/978-3-540-27864-1_23

A. Miné, The octagon abstract domain, In: WCRE, p.310, 2001.

L. A. Kunzle, R. Valette, and B. P. , Temporal reasoning in fuzzy time petri nets, LAAS Toulouse, 1998.

T. Yoneda, T. Kitai, and C. J. Myers, Automatic Derivation of Timing Constraints by Failure Analysis, CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, pp.195-208, 2002.
DOI : 10.1007/3-540-45657-0_15

M. Moy, F. Maraninchi, and L. Maillet-contoz, LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005.
DOI : 10.1109/ACSD.2005.23

URL : https://hal.archives-ouvertes.fr/hal-00198681

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., Kronos: A model-checking tool for real-time systems, Proc. 1998 Computer-Aided Verification , CAV'98, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00374788