IEEE International Conference on Formal Engineering Methods (3rd 2000 York, England)