L. Holík and J. Šimáček, “Optimizing an LTS-Simulation Algorithm”, Comput. Inform., vol. 29, no. 6+, pp. 1337–1348, Jan. 2012.