_id,doi,title
8788,10.1109/TCAD.2020.3012803,Precedence-aware automated competitive analysis of real-time scheduling
8790,10.1109/TCAD.2020.3012859,Reachability analysis of linear hybrid systems via block decomposition