A. D. Neto, R. Subramanyan, M. Vieira, G. H. Travassos, and F. Shull, Improving Evidence about Software Technologies: A Look at Model-Based Testing, IEEE Software, vol.25, issue.3, pp.10-13, 2008.
DOI : 10.1109/MS.2008.64

O. Haugen, Comparing UML 2.0 Interactions and MSC-2000, SAM 2004: SDL and MSC Fourth International Workshop, pp.69-84, 2004.
DOI : 10.1007/978-3-540-31810-1_5

S. Boroday, A. Petrenko, and A. Ulrich, Implementing MSC Tests with Quiescence Observation, TestCom 2009, pp.235-238, 2009.
DOI : 10.1016/S0950-5849(99)00036-1

A. Ulrich, Introducing Model-Based Testing Techniques in Industrial Projects. GI-Edition, Proc. Bd.106, pp.29-34, 2007.

P. Baker, P. Bristow, C. Jervis, D. King, and W. Mitchell, Automatic Generation of Conformance Tests from Message Sequence Charts, SAM 2002: SDL and MSC Fourth International Workshop, pp.170-198, 2003.
DOI : 10.1007/3-540-36573-7_12

G. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

S. Boroday, A. Petrenko, and A. Ulrich, Test suite consistency verification, Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08), pp.235-238, 2008.
DOI : 10.1109/EWDTS.2008.5580145

J. Grabowski, B. Koch, M. Schmitt, and D. Hogrefe, SDL and MSC Based Test Generation for Distributed Test Architectures, SDL Forum'99, pp.389-404, 1999.
DOI : 10.1016/B978-044450228-5/50026-6

B. Mitchell, Lazy Buffer Demantics for Partial Order Scenarios Automated Software Engineering, pp.419-441, 2007.

G. Holzmann, D. Peled, and M. Redberg, Design tools for requirements engineering, Bell Labs Technical Journal, vol.2, issue.1, pp.86-95, 1997.
DOI : 10.1002/bltj.2034

M. Papesch, Generating Implementations from Formal Specifications: A Translator from Promela to Java, 2002.

M. De-jonge, The SpinJ Model Checker