Strategies, Model Checking and Branching-Time Properties in Maude | Publicación