Paolo Modica Alessandro Biondi 0001 Giorgio C. Buttazzo Anup Patel Supporting temporal and spatial isolation in a hypervisor for ARM multicore platforms. 1651-1657 2018 ICIT https://doi.org/10.1109/ICIT.2018.8352429 conf/icit2/2018 db/conf/icit2/icit2018.html#ModicaBBP18