"Minimal refinements of specifications in modal and temporal logics."

Nikos Gorogiannis, Mark Ryan (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics