Device Driver Isolation within Virtualized Embedded Platforms. - Sebastian Sumpf; Jörg Brakensiek (CCNC, 2009)