“...International Conference on Formal Engineering Methods Kitakjúšú, Japonsko)...”