Verification of hierarchical IEC 61499 component systems with behavioral event contracts | IEEE Conference Publication | IEEE Xplore