Akio Nakata Tadaaki Tanimoto Suguru Sasaki Teruo Higashino A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. 833-850 2006 17 Int. J. Found. Comput. Sci. 4 http://dx.doi.org/10.1142/S0129054106004133 db/journals/ijfcs/ijfcs17.html#NakataTSH06