Dubinin, et al.. Engineering of Validatable Automation Systems Based on an Extension of UML Combined with Function Blocks of IEC 61499. IEEE, doi:10.1109/robot.2005.1570732.