dos Santos, E., Andrade, R., & Santos, I. 2019 set 23. Runtime Monitoring of Behavioral Properties in Dynamically Adaptive Systems. Anais do SimpĆ³sio Brasileiro de Engenharia de Software (SBES). [Online] :