Tadaaki Tanimoto Suguru Sasaki Akio Nakata Teruo Higashino A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. 179-195 http://dx.doi.org/10.1007/978-3-540-30476-0_18 2004 conf/atva/2004 ATVA db/conf/atva/atva2004.html#TanimotoSNH04