1. Schedulability analysis of global memory-predictable scheduling
2. Rajeev Alur and David L Dill . 1994. A theory of timed automata. Theoretical computer science 126, 2 ( 1994 ), 183--235. Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126, 2 (1994), 183--235.
3. Jatin Arora , Cláudio Maia , Syed Aftab Rashid , Geoffrey Nelissen, and Eduardo Tovar. 2022 . Bus-contention aware WCRT analysis for the 3-phase task model considering a work-conserving bus arbitration scheme. Journal of Systems Architecture 122 (2022). Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen, and Eduardo Tovar. 2022. Bus-contention aware WCRT analysis for the 3-phase task model considering a work-conserving bus arbitration scheme. Journal of Systems Architecture 122 (2022).
4. Contention-Free Execution of Automotive Applications on a Clustered Many-Core Platform
5. Johan Bengtsson , Kim Larsen , Fredrik Larsson , Paul Pettersson , and Wang Yi. 1995. UPPAAL---a tool suite for automatic verification of real-time systems . In International hybrid systems workshop . Springer , 232--243. Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 1995. UPPAAL---a tool suite for automatic verification of real-time systems. In International hybrid systems workshop. Springer, 232--243.