da Silva, Aristóteles, 		Andrade, Aline, AND 		Andrade, Sandro.
" Self-Adaptive Systems Planning with Model Checking using MAPE-K" <em>Proceedings of the Fault Tolerance Workshop (WTF)</em> [Online], (7 December 2020)