Model checking strategy-controlled systems in rewriting logic | Publicación