Modelling and Verification of IEC 61499 Applications using Prolog | IEEE Conference Publication | IEEE Xplore