A Distributed Safety Mechanism using Middleware and Hypervisors for Autonomous Vehicles. - Tjerk Bijlsma; Andrii Buriachevskyi; Alessandro Frigerio; Yuting Fu; Kees Goossens; Ali Osman Örs; Pieter J. van der Perk; Andrei Sergeevich Terechko; Bart Vermeulen (DATE, 2020)