@inproceedings{SLE-2008-RiveraGLV,
	author        = "José Eduardo Rivera and Esther Guerra and Juan de Lara and Antonio Vallecillo",
	booktitle     = "{Revised Selected Papers of the First International Conference on Software Language Engineering}",
	doi           = "10.1007/978-3-642-00434-6_5",
	editor        = "Dragan Gašević and Ralf Lämmel and Eric Van Wyk",
	isbn          = "978-3-642-00433-9",
	pages         = "54--73",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude}",
	volume        = 5452,
	year          = 2008,
}