BENEŠ, Nikola,
Jan KŘETÍNSKÝ, Kim G. LARSEN and Jiří SRBA. Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. In
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Heidelberg: Springer-Verlag, 2009, p. 112-126. ISBN 978-3-642-03465-7. Available from: https://dx.doi.org/10.1007/978-3-642-03466-4_7.