Formal specification and analysis of industrial systems by