Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project