Author: IEEE International Conference on Formal Engineering Methods (1st 1997 Hiroshima-shi, Japan)