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)