US8601465B2 - Methods and Articles of Manufacture for Hosting a Safety Critical Application on an Uncontrolled Data Processing Device