A Comparison of Formal Verification Approaches for IEC 61499 | IEEE Conference Publication | IEEE Xplore