Kernel services approach to fault-masking in real-time applications | IEEE Conference Publication | IEEE Xplore