A. Simons, und C. Fernandez. Computer Science, 2005. ENC 2005. Sixth Mexican International Conference on, Seite 121--128. IEEE Computer Society, (2005)
J. Kim, und D. Garlan. ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, Seite 70--80. New York, NY, USA, ACM, (2006)
S. Khurshid, M. Malik, und E. Uzuncaova. Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on, Seite 449--457. (2006)