The PreCertification Kit for Operating Systems in Safety Domains | IEEE Conference Publication | IEEE Xplore