Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study