Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs | IEEE Conference Publication | IEEE Xplore