IEEE Workshop on Industrial Strength Formal Specification Techniques