A Hypervisor Based Platform for the Development and Verification of Reliable Software Applications. - Nikos Petrellis; Michail Mavropoulos; Vasilios I. Kelefouras; Georgios Keramidas; K. Radonjic; Nikolaos S. Voros (SAMOS, 2024)