AutomationML Mechatronic Models as Enabler of Automation Systems Engineering: Use-case and Evaluation | IEEE Conference Publication | IEEE Xplore