da Silva, Aristóteles, 		Andrade, Aline, E 		Andrade, Sandro.
" Self-Adaptive Systems Planning with Model Checking using MAPE-K" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (7 dezembro 2020)