An International Survey of Industrial Applications of Formal Methods