Title: Formal specification and analysis of industrial systems