Modelling and orchestration of service-based manufacturing systems via skills | IEEE Conference Publication | IEEE Xplore