Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, 363-369, 2016 , Rome, Italy