EN-50128 Certification-Oriented Design of a Safety-Critical Hard Real-Time Kernel | IEEE Conference Publication | IEEE Xplore