J. Kim, and D. Garlan. ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, page 70--80. New York, NY, USA, ACM, (2006)
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)