S. Vilkomir, D. Parnas, V. Mendiratta, and E. Murphy. Proceedings of the 29th Australasian Computer Science Conference - Volume 48, page 55--61. Darlinghurst, Australia, Australia, Australian Computer Society, Inc., (2006)
M. Bajohr, T. Margaria, and B. Steffen. Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on, page 317-324. (November 2006)