Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim. Prioritizing Runtime Verification Violations. In 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020. pages 297-308, IEEE, 2020. [doi]