Zhiming Liu Jifeng He Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings ICFEM Lecture Notes in Computer Science 4260 Springer 2006 3-540-47460-9 db/conf/icfem/icfem2006.html