Certification of Microcontroller based Safety-Critical Avionics | VDE Conference Publication | IEEE Xplore