Formal Methods: Industrial Use from Model to the Code