Simulating and model checking membrane systems using strategies in Maude | Publicación