Eliminating annotations by automatic flow analysis of real-time programs | IEEE Conference Publication | IEEE Xplore