E. dos Santos, R. Andrade, and I. Santos. "Runtime Monitoring of Behavioral Properties in Dynamically Adaptive Systems", in Anais do XXXIII SimpĆ³sio Brasileiro de Engenharia de Software, Salvador, 2019.