A Modular Safety Case for an IEC-61508 Compliant Generic Hypervisor | Publicación