D. Di Ruscio, L. Iovino, and A. Pierantonio. Proceedings of the 2nd International Workshop on Model Comparison in Practice, page 30--38. New York, NY, USA, ACM, (2011)
D. Ruscio, H. Muccini, A. Pierantonio, and P. Pelliccione. International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, page 103-112. Los Alamitos, CA, USA, IEEE Computer Society, (2006)