H. Bouaziz, S. Chouali, A. Hammad, and H. Mountassir, SysML Blocks Adaptation, ICFEM'15, 17th Int. Conf. on Formal Engineering Methods, 2015.
DOI : 10.1007/978-3-319-25423-4_27

URL : https://hal.archives-ouvertes.fr/tel-01428887

C. Canal, P. Poizat, and G. Salaün, Synchronizing Behavioural Mismatch in Software Composition, FMOODS 2006, pp.63-77, 2006.
DOI : 10.1145/244795.244801

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

S. Chouali, S. Mouelhi, and H. Mountassir, Adaptation sémantique des protocoles des composants par les automates d'interface. TSI, Technique et Science Informatiques, pp.31769-796, 2012.
DOI : 10.3166/tsi.31.769-796

L. De, A. , and T. A. Henzinger, Interface automata, SIGSOFT Softw. Eng. Notes, vol.26, issue.5, pp.109-120, 2001.

D. Karlsson, P. Eles, and Z. Peng, Formal verification of component-based designs, Design Automation for Embedded Systems, vol.3, issue.1, pp.49-90, 2007.
DOI : 10.1007/s10617-006-9723-3