Title: 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques (Wift '98