Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499 | IEEE Conference Publication | IEEE Xplore