da Silva, A., 		Andrade, A., & 		Andrade, S.
(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>, (pp. 69-82). Porto Alegre: SBC.
doi:10.5753/wtf.2020.12488