Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques