Multi-domain model-driven design of Industrial Automation and Control Systems | IEEE Conference Publication | IEEE Xplore