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