Email Record: Workshop on Industrial-Strength Formal Specification Techniques :