H. Boudali, H. Sozer, and M. Stoelinga. Secure Software Integration and Reliability Improvement, 2009. SSIRI 2009. Third IEEE International Conference on, page 14-22. (July 2009)
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)