@proceedings {PMMG-VIDAS10,
	title = {QoS-Based Model Driven Assessment of Adaptive Reactive Systems},
	year = {2010},
	month = {05/2010},
	pages = {299-308},
	publisher = {IEEE Computer Society},
	address = {Paris},
	keywords = {UML, Quality of Service verification, Model-Driven Development, Reactive Software, KLAPER, Petri nets},
	url = {http://www.computer.org/portal/web/csdl/doi/10.1109/ICSTW.2010.20},
	author = {Perez-Palacin, Diego and Merseguer, Jos{\'e} and Mirandola, Raffaela and Grassi, Vincenzo}
}