Tadaaki Tanimoto Akio Nakata Hideaki Hashimoto Teruo Higashino Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata. 3007-3021 2005 88-A IEICE Transactions 11 http://dx.doi.org/10.1093/ietfec/e88-a.11.3007 db/journals/ieicet/ieicet88a.html#TanimotoNHH05