E-RACE, A Hardware-Assisted Approach to Lockset-Based Data Race Detection for Embedded Products | IEEE Conference Publication | IEEE Xplore