1. Towards Multicore WCET Analysis;wegener;17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017),2017
2. XtratuM: a Hypervisor for Safety Critical Embedded Systems;masmano;Proceedings of the 11th Real-Time Linux Workshop,2009
3. Virtual Timing Isolation for Mixed-Criticality Systems;freitag;30th Euromicro Conference on Real-Time Systems (ECRTS 2018),2018
4. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems;maiza;ACM Comput Surv,2019
5. Zynq UltraScale+ Device - Technical Reference Manual,2020