L. Tan and R. Cleaveland. In Tools and Algorithms for the Construction and Analysis of Systems, Vol. 2031 of Lecture Notes on Computer Science. 2001.
This paper develops an efficient algorithm for determining when one system is capable of simulating the behavior of another. The method combines an iterative algorithm for computing behavioral preorders with an algorithm that simultaneously computes the bisimulation equivalence classes of the systems in question. Experimental data indicate that the new routine dramatically outperforms the best-known algoritm for computing simulation, even when the systems are minimized with respect to bisimulation before the simulation algorithm is invoked.