Decomposition of timed automata for solving scheduling problems | IEEE Conference Publication | IEEE Xplore