DA SILVA, Aristóteles Esteves Marçal; 						ANDRADE, Aline Maria Santos; 						ANDRADE, Sandro Santos.
 Self-Adaptive Systems Planning with Model Checking using MAPE-K. <em>In</em>: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 21.	, 2020, Rio de Janeiro.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2020
.
 p. 69-82. 
			ISSN 2595-2684. 
		DOI: <a href="https://doi.org/10.5753/wtf.2020.12488">https://doi.org/10.5753/wtf.2020.12488</a>.