da Silva, A., 		Andrade, A., & 		Andrade, S.
2020 dez  7.  Self-Adaptive Systems Planning with Model Checking using MAPE-K. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :