Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499. - Victor Dubinin; Valeriy Vyatkin; Thomas Pfeiffer 005 (ICRA, 2005)

Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. - Valeriy Vyatkin; Hans-Michael Hanisch; Sirko Karras; Thomas Pfeiffer 005; Victor Dubinin (Int. J. Manuf. Res., 2006)