Algorithm of Bisimulation Between Timed Automata and Signal Automata
Zhu Wei-jun Liu bao-luo Zhou Qing-lei
Journal of South China University of Technology (Natural Science Edition) . 2008, (5): 38 -42 .