Holík, L., & Šimáček, J. (2010). Optimizing an LTS-Simulation Algorithm. Computing and Informatics, 29(6+), 1337–1348. https://cai.type.sk/content/2010/6%2B/optimizing-an-lts-simulation-algorithm/