Text this: Workshop on Industrial-Strength Formal Specification Techniques :