Holík, L. and Šimáček, J. 2012. Optimizing an LTS-Simulation Algorithm. Computing and Informatics. 29, 6+ (Jan. 2012), 1337–1348.