Reference:

Nikola Benes, Jan Kretinsky, Kim Guldstrand Larsen, and Jiri Srba. Checking thorough refinement on modal transition systems is exptime-complete. Technical report FIMU-RS-2009-03, Faculty of Informatics, Masaryk University, Brno, 2009.

Suggested BibTeX entry:

@techreport{DBLP:confictacBenesKLS09-techrep,
    author = {Nikola Benes and Jan Kretinsky and Kim Guldstrand Larsen and Jiri Srba},
    institution = {Faculty of Informatics, Masaryk University, Brno},
    number = {FIMU-RS-2009-03},
    title = {Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete},
    type = {Technical report},
    year = {2009}
}