[mc]square: A Model Checker for Microcontroller Code | IEEE Conference Publication | IEEE Xplore