Nikos Gorogiannis Mark Ryan Minimal refinements of specifications in model and termporal logics. 35-62 2007 19 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-006-0014-3 db/journals/fac/fac19.html#GorogiannisR07