A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. - Tadaaki Tanimoto; Suguru Sasaki; Akio Nakata; Teruo Higashino (ATVA, 2004)

A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata. - Akio Nakata; Tadaaki Tanimoto; Suguru Sasaki; Teruo Higashino (Int. J. Found. Comput. Sci., 2006)