Shaoying Liu T. S. E. Maibaum Keijiro Araki Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings 5256 2008 978-3-540-88193-3 ICFEM Lecture Notes in Computer Science Springer db/conf/icfem/icfem2008.html