EMR: Removing Multicollinear Event Monitors to Improve Timing Modelling of Real-Time Systems | Publicación