Applying Hypervisor-Based Fault Tolerance Techniques to Safety-Critical Embedded Systems - Carretero Perez, Jesus; Lozano Terol, Santiago