TY - JOUR AU - Gerber, Christian AU - Ivanova-Vasileva, Ioanna AU - Hanisch, Hans-Michael TI - Formal modelling of IEC 61499 function blocks with integer-valued data types JO - Control and Cybernetics PY - 2010 SP - 197 EP - 231 VL - 39 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CC_2010_39_1_a10/ LA - en ID - CC_2010_39_1_a10 ER -