Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude | Publicación