Towards a Formal Semantic Model of IEC 61499 Function Blocks | IEEE Conference Publication | IEEE Xplore