E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399

P. Dhaussy, F. Boniol, and J. C. Roger, Reducing state explosion with context modeling for modelchecking, 13th IEEE International High Assurance Systems. Engineering Symposium (Hase'11). Boca Raton, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00636878

F. Garavel, F. Lang, R. Peres, J. Saad, F. Stoecker et al., The syntax and semantics of FIACRE v2, specification, 2009.

H. Garavel and D. Thivolle, Verification of GALS Systems by Combining Synchronous Languages and Process Calculi, Proc. of SPIN, pp.241-260, 2009.
DOI : 10.1007/978-3-540-27813-9_47

URL : https://hal.archives-ouvertes.fr/inria-00388819

F. Doucet, M. Menarini, I. H. Kruger, R. Gupta, and J. P. Talpin, A Verification Approach for GALS Integration of Synchronous Components, Electronic Notes in Theoretical Computer Science, vol.146, issue.2, pp.105-131, 2006.
DOI : 10.1016/j.entcs.2005.05.038

H. Günther, S. Milius, and O. , Möller: On the formal verification of systems of synchronous software components, VerSyKo project, 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP, MBEES), 2012.

G. Berry, The Foundations of Esterel Proofs, Languages, and Interaction, Essays in Honour of R. Milner, G. Plotkin, C. Stirling, and M. Tofteed, 2000.

P. Dhaussy, F. Boniol, J. C. Roger, and L. Leroux, Improving model checking with context modelling Advances in Software Engineering ID 547157 Model-checking Flight Control Systems : the Airbus experience, Bochot (Airbus), V.Wiels (ONERA), P. Virelizier, H. Waeselynck, pp.18-27, 2009.

Y. Choi, From NuSMV to SPIN: Experiences with model checking flight guidance systems, Formal Methods in System Design, vol.10, issue.4, pp.199-216, 2007.
DOI : 10.1007/s10703-006-0027-9

G. J. Le-maire-holzmann, Programming Real-Time Applications with SIGNAL The SPIN Model Checker: Primer and Reference Manual, Proceedings of the IEEE, vol.7915, issue.9, pp.1321-1336, 1991.

]. C. Teodorov, L. Leroux, P. Valmari, and A. , Contextaware Verification of a Cruise-Control System The state explosion problem, Proceedings of Model and Data Engineering 4th International Conference MEDI 2014, pp.429-528, 1998.

P. Dhaussy and L. Le-roux, Teodorov : Vérification Formelle de Propriétés, 2014.