Holík, L.; Šimáček, J. Optimizing an LTS-Simulation Algorithm. Comput. Inform. 2012, 29, 1337-1348.