On the Formal Model for IEC 61499 Composite Function Blocks. - Won-je Kim; Song-il Cha; Kyong-Jin Sok (CoRR, 2018)