Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim: Prioritizing Runtime Verification Violations. ICST 2020: 297-308