“...International Conference on Formal Engineering Methods Seattle, Washington)...”