Automatic Model Building and Verification of Embedded Software with UPPAAL | IEEE Conference Publication | IEEE Xplore