S. Khurshid, M. Malik, and E. Uzuncaova. Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on, page 449--457. (2006)
J. Rubin, M. Chechik, and S. Easterbrook. MiSE '08: Proceedings of the 2008 international workshop on Models in software engineering, page 7--14. New York, NY, USA, ACM, (2008)