José Eduardo Rivera Esther Guerra Juan de Lara Antonio Vallecillo Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. 54-73 2008 SLE http://dx.doi.org/10.1007/978-3-642-00434-6_5 conf/sle/2008 db/conf/sle/sle2008.html#RiveraGLV08