Formal Methods Applied to Industrial Complex Systems