@inproceedings{6622948, author = {Pr{\"{a}}hofer, Herbert and Zoitl, Alois}, editor = {Gausemeier, J{\"{u}}rgen and Ramming, Franz and Sch{\"{a}}fer, Wilhelm and Tr{\"{a}}chtler, Ansgar}, title = {Verification of hierarchical IEC 61499 component systems with behavioral event contracts}, booktitle = {Industrial Informatics (INDIN), 2013 11th IEEE International Conference on}, pages = {578-585}, year = {2013}, doi = {10.1109/indin.2013.6622948}, }