da Silva, Aristóteles, Aline Maria Santos Andrade, and Sandro Santos Andrade.
"Self-Adaptive Systems Planning with Model Checking using MAPE-K." <em>Anais do XXI Workshop de Testes e Tolerância a Falhas,
Rio de Janeiro, 2020</em>. SBC, 2020,  
pp.69-82.