Using Formal Methods to Enhance Security in Complex Systems: an Industrial Achievement