Author: International Conference on Formal Engineering Methods (10th 2008 Kitakyushu-City, Japan)