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