TMR technique for mutex kernel data structures | IEEE Conference Publication | IEEE Xplore