Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels | IEEE Conference Publication | IEEE Xplore