Timing Analysis of Binary Programs with UPPAAL | IEEE Conference Publication | IEEE Xplore