S. Bauer and R. Hennicker, Views on Behaviour Protocols and Their Semantic Foundation, Algebra and Coalgebra in Computer Science, pp.367-382, 2009.
DOI : 10.1007/BF00283329

A. Beugnard, J. M. Jezequel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

K. T. Cheng and A. S. Krishnakumar, Automatic functional test generation using the extended finite state machine model, Proceedings of the 30th international on Design automation conference , DAC '93, 1993.
DOI : 10.1145/157485.164585

R. Eshuis, Symbolic model checking of UML activity diagrams, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, pp.1-38, 2006.
DOI : 10.1145/1125808.1125809

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

N. Guelfi and A. Mammar, A formal semantics of timed activity diagrams and its PROMELA translation, 12th Asia-Pacific Software Engineering Conference (APSEC'05), pp.283-290, 2005.
DOI : 10.1109/APSEC.2005.7

D. Harel and A. Pnueli, On the Development of Reactive Systems, pp.477-498, 1985.
DOI : 10.1007/978-3-642-82453-1_17

G. J. Holzmann and D. Peled, An Improvement in Formal Verification, Proc. 7th IFIP WG6.1 Int. Conf. on Formal Description Techniques, pp.197-211, 1995.
DOI : 10.1007/978-0-387-34878-0_13

G. Holzmann, The Spin Model Checker, Primer and Reference Manual, 2003.
DOI : 10.1109/32.588521

F. Kraemer and P. Herrmann, Reactive Semantics for Distributed UML Activities, Formal Techniques for Distributed Systems, pp.17-31, 2010.
DOI : 10.1007/978-3-642-13464-7_3

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

F. A. Kraemer, R. Braek, and P. Herrmann, Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications, Proc. 13th Int. SDL Forum Conf. on Design for Dependable Systems, pp.166-18507, 2007.
DOI : 10.1007/978-3-540-74984-4_11

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

F. A. Kraemer and P. Herrmann, Formalizing Collaboration-Oriented Service Specifications using Temporal Logic, Proc. Networking and Electronic Conf, 2007.

F. A. Kraemer and P. Herrmann, Automated Encapsulation of UML Activities for Incremental Development and Verification, Proc. 12th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS), pp.571-585, 2009.
DOI : 10.1007/3-540-45102-1_14

F. A. Kraemer, V. Slåtten, and P. Herrmann, Engineering Support for UML Activities by Automated Model-Checking ? An Example, Proc. 4th Int. Workshop on Rapid Integration of Software Engineering Techniques (RISE), 2007.

F. A. Kraemer, V. Slåtten, and P. Herrmann, Tool support for the rapid composition, analysis and implementation of reactive services, Journal of Systems and Software, vol.82, issue.12, pp.2068-2080, 2009.
DOI : 10.1016/j.jss.2009.06.057

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

L. Lamport, Refinement in state-based formalisms. Tech. rep., Digital Equipment Corporation, Systems Research Center, 1996.

G. H. Mealy, A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955.
DOI : 10.1002/j.1538-7305.1955.tb03788.x

V. Mencl, Specifying Component Behavior with Port State Machines, Electronic Notes in Theoretical Computer Science, vol.101, pp.129-153, 2004.
DOI : 10.1016/j.entcs.2004.02.019

URL : http://doi.org/10.1016/j.entcs.2004.02.019

G. Rothmaier, A. Poh1, and H. Krumm, Analyzing Network Management Effects with SPIN and cTLA, Security and Protection in Information Processing Systems , IFIP, pp.65-81, 2004.
DOI : 10.1007/1-4020-8143-X_5

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Rushby, Disappearing formal methods. High Assurance Systems Engineering, Fifth IEEE International Symposim on pp, pp.95-96, 2000.
DOI : 10.1109/hase.2000.895446

R. T. Sanders, R. Braek, G. Von-bochmann, and D. Amyot, Service Discovery and Component Reuse with Semantic Interfaces, SDL 2005: Model Driven Systems Design, pp.1244-1247, 2005.
DOI : 10.1007/11506843_6

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

H. Storrle, Semantics and Verification of Data Flow in UML 2.0 Activities, Electronic Notes in Theoretical Computer Science, vol.127, issue.4, pp.35-52, 2005.
DOI : 10.1016/j.entcs.2004.08.046

Y. Yu, P. Manolios, and L. Lamport, Model Checking TLA+ Specifications, Proc. 10th IFIP WG 10.5 Adv. Research Working Conf. on Correct Hardware Design and Verification Methods (CHARME'99), pp.54-66, 1999.
DOI : 10.1007/3-540-48153-2_6

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=