Tool Support for the UML Automation Profile - For Domain-Specific Software Development in Manufacturing | IEEE Conference Publication | IEEE Xplore