Views on Behaviour Protocols and Their Semantic Foundation, Algebra and Coalgebra in Computer Science, pp.367-382, 2009. ,
DOI : 10.1007/BF00283329
Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999. ,
DOI : 10.1109/2.774917
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
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=10.1.1.127.8371
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
On the Development of Reactive Systems, pp.477-498, 1985. ,
DOI : 10.1007/978-3-642-82453-1_17
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
The Spin Model Checker, Primer and Reference Manual, 2003. ,
DOI : 10.1109/32.588521
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
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=10.1.1.108.6159
Formalizing Collaboration-Oriented Service Specifications using Temporal Logic, Proc. Networking and Electronic Conf, 2007. ,
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
Engineering Support for UML Activities by Automated Model-Checking ? An Example, Proc. 4th Int. Workshop on Rapid Integration of Software Engineering Techniques (RISE), 2007. ,
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
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
Refinement in state-based formalisms. Tech. rep., Digital Equipment Corporation, Systems Research Center, 1996. ,
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
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
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=10.1.1.60.5636
Disappearing formal methods. High Assurance Systems Engineering, Fifth IEEE International Symposim on pp, pp.95-96, 2000. ,
DOI : 10.1109/hase.2000.895446
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=10.1.1.59.6797
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
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=10.1.1.122.9499