Enhancing dependability in avionics using virtualization. - Youssef Laarouchi; Yves Deswarte; David Powell; Jean Arlat; Eric De Nadai (VDTS@EuroSys, 2009)