A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic