Jan Gustafsson Eliminating annotations by automatic flow analysis of real-time programs. 511-516 2000 conf/rtcsa/2000 RTCSA https://doi.org/10.1109/RTCSA.2000.896435 https://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.896435 db/conf/rtcsa/rtcsa2000.html#Gustafsson00