EEMCS

Hansen, H.H. and Ketema, J. and Luttik, S.P. and Mousavi, M.R. and van de Pol, J.C. and dos Santos, O.M. (2011) Automated Verification of Executable UML Models. In: Proceedings of the 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010. Revised Papers, 29 Nov - 01 Dec 2010, Graz, Austria. pp. 225-250. Lecture Notes in Computer Science 6957. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-25270-9

Hansen, H.H. and Ketema, J. and Luttik, S.P. and Mousavi, M.R. and van de Pol, J.C. (2010) Towards Model Checking Executable UML Specifications in mCRL2. Innovations in Systems and Software Engineering, 6 (1-2). pp. 83-90. ISSN 1614-5046