Decomposition of timed automata for solving scheduling problems. - Tatsushi Nishi; Masato Wakatake; Masahiro Inuiguchi (SMC, 2008)

Decomposition of timed automata for solving scheduling problems. - Tatsushi Nishi; Masato Wakatake (Int. J. Syst. Sci., 2014)