Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings - Liu, Shaoying; Maibaum, Tom; Araki, Keijiro (Springer Berlin Heidelberg, 2008)