Aristóteles da Silva, Aline Andrade, and Sandro Andrade. 2020.
Self-Adaptive Systems Planning with Model Checking using MAPE-K. In <em>Anais do XXI Workshop de Testes e Tolerância a Falhas</em>, dezembro 07, 2020, Rio de Janeiro, Brasil. SBC, Porto Alegre, Brasil, 69-82. DOI: <a href="https://doi.org/10.5753/wtf.2020.12488">https://doi.org/10.5753/wtf.2020.12488</a>.