]. R. Alur, M. Alur, and . Yannakakis, Model Checking of Message Sequence Charts, Proc. CONCUR<99, Springer LNCS 1664, pp.114-129, 1999.
DOI : 10.1007/3-540-48320-9_10

S. Bochmann, G. V. Haar, and . Jourdan, Testing systems specified as partial-order inputoutput automata, Proc. IFIP Testcom/FATES Workshop, 2008.
DOI : 10.1007/978-3-540-68524-1_13
URL : http://pagesperso.lina.univ-nantes.fr/~jard-c/Publis/Jard_CI73.pdf

S. V. Baelen, S. Graf, M. Filali, T. Weigert, and S. Gerard, Bochmann, Deriving component designs from global requirement, Proceedings of the First International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2008 Toulouse. CEUR Workshop Proceedings, pp.55-69, 2008.

. Bouge, N. Bougé, L. Choquet, M. C. Fribourg, and . Gaudel, Test sets generation from algebraic specifications using logic programming, Journal of Systems and Software, vol.6, issue.4, pp.3-343, 1986.
DOI : 10.1016/0164-1212(86)90004-X

]. N. Castejon, G. V. Castejòn, R. Bochmann, and . Braek, On the realizability of collaborative services, Software & Systems Modeling, vol.13, issue.1, pp.1-21, 2011.
DOI : 10.1145/1005561.1005563

]. H. Dan, R. M. Dan, and . Hierons, Conformance Testing from Message Sequence Charts, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, pp.279-288, 2011.
DOI : 10.1109/ICST.2011.29

]. M. Faleh, G. V. Faleh, and . Bochmann, Transforming dynamic behavior specifications from Activity Diagrams to BPEL, Proc. IEEE 6th Intern. Symp. on Service-Oriented System Engineering, pp.305-311, 2011.

]. S. Haar, C. Haar, G. Jard, and . Jourdan, Testing Input/Output Partial Order Automata, Proc. TestCom '07 / FATES '07: Springer LNCS 4581, pp.171-185, 2007.
DOI : 10.1109/12.272431

]. A. Simao, A. Simao, and . Petrenko, Generating asynchronous test cases from test purposes, Information and Software Technology, vol.53, issue.11, p.12521262, 2011.
DOI : 10.1016/j.infsof.2011.06.006