Industrial Use of Formal Methods