DiagramDraw: A State Machine Diagram Designer for Flexible Automation | IEEE Conference Publication | IEEE Xplore