Reference:

Nikola Benes, Jan Kretinsky, Kim Guldstrand Larsen, and Jiri Srba. On determinism in modal transition systems. Theor. Comput. Sci., 410(41):4026–4043, 2009.

Suggested BibTeX entry:

@article{DBLP:journalstcsBenesKLS09,
    author = {Nikola Benes and Jan Kretinsky and Kim Guldstrand Larsen and Jiri Srba},
    journal = {Theor. Comput. Sci.},
    number = {41},
    pages = {4026-4043},
    title = {On determinism in modal transition systems},
    volume = {410},
    year = {2009}
}