Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241)