Title: Virtualization for Reliable Embedded Systems