VOSYSmonitor, a Low Latency Monitor Layer for Mixed-Criticality Systems on ARMv8-A. - Pierre Lucas; Kevin Chappuis; Michele Paolino; Nicolas Dagieu; Daniel Raho (ECRTS, 2017)

VOSYSmonitor, a TrustZone-based Hypervisor for ISO 26262 Mixed-critical System. - Pierre Lucas; Kevin Chappuis; Benjamin Boutin; Julian Vetter; Daniel Raho (FRUCT, 2018)