Formal specification and analysis of industrial systems door