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