SAE/TP 2007-01-3805 (PDF) Advanced Virtualization Technologies in Aerospace and Automotive Embedded System Applications