Formal Methods for Industrial Applications