Formal modelling of IEC 61499 function blocks with integer-valued data types Christian Gerber; Ioanna Ivanova-Vasileva; Hans-Michael Hanisch — 2010 Control and Cybernetics