Hardware virtualization support for shared resources in mixed-criticality multicore systems. - Oliver Sander; Timo Sandmann; Viet Vu Duy; Steffen Bähr; Falco Bapp; Jürgen Becker 001; Hans-Ulrich Michel; Dirk Kaule; Daniel Adam; Enno Lübbers; Jürgen Hairbucher; Andre Oliver Richter; et al. (DATE, 2014)