Title: Workshop on Industrial-Strength Formal Specification Techniques: Proceedings