RODRIGUES, Elder M.; 						ZORZO, Avelino F.; 						OLIVEIRA, Flávio M. de; 						COSTA, Leandro T..
 Reconfiguration of virtualized environments through the use of Model-Based Testing and SLAs. <em>In</em>: WORKSHOP ON OPERATING SYSTEMS (WSO), 6.	, 2009, Bento Gonçalves/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2009
.
 p. 2319-2330.