Title: Formal Engineering Methods (Icfem 2000), 3rd IEEE International Conference on