Applying Model Checking to an Automotive Microcontroller Application | IEEE Conference Publication | IEEE Xplore