Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers | IEEE Conference Publication | IEEE Xplore