Formal methods and tools for industrial critical systems