Modelling of service dependencies in modular process plants for the analysis of orchestrations | IEEE Conference Publication | IEEE Xplore