A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems | Publicación