Reference:

Nikola Benes, Ivana Cerna, and Jan Kretinsky. Disjunctive modal transition systems and generalized LTL model checking. Technical report FIMU-RS-2010-12, Faculty of Informatics, Masaryk University, Brno, 2010.

Suggested BibTeX entry:

@techreport{DBLP:confatvaBenesCK11-techrep,
    author = {Nikola Benes and Ivana Cerna and Jan Kretinsky},
    institution = {Faculty of Informatics, Masaryk University, Brno},
    number = {FIMU-RS-2010-12},
    title = {Disjunctive modal transition systems and generalized {LTL} model checking},
    type = {Technical report},
    year = {2010}
}