Safety Certification with the Open Source Microkernel-Based Operating System L4Re. - Kai Lampka; Joel Thurlby; Adam Lackorzynski; Marcus Hähnel (SAFECOMP, 2022)