Avionics hard real-time systems' design concerning fault tolerance | IEEE Conference Publication | IEEE Xplore