Chris Ho-Stuart Hussein S. M. Zedan Ming Fang Congruent Weak Bisimulation with Dense Real-Time. 55-61 1993 46 Inf. Process. Lett. 2 db/journals/ipl/ipl46.html#Ho-StuartZF93