Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499 | IEEE Conference Publication | IEEE Xplore