Lessons Learned from Applying Formal Speci � cation in Industry