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, Thomas S. E.,; Araki, Keijirō, (Springer,)