dOSEK: the design and implementation of a dependability-oriented static embedded kernel | IEEE Conference Publication | IEEE Xplore