A. da Silva, A. Andrade, and S. Andrade.
"Self-Adaptive Systems Planning with Model Checking using MAPE-K", in <em>Anais do XXI Workshop de Testes e Tolerância a Falhas</em>, Rio de Janeiro, 2020, pp. 69-82, doi: <a href="https://doi.org/10.5753/wtf.2020.12488">https://doi.org/10.5753/wtf.2020.12488</a>.