Jinghao Sun Rongxiao Shi Kexuan Wang Nan Guan Zhishan Guo Efficient Feasibility Analysis for Graph-Based Real-Time Task Systems. 3385-3397 2020 39 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11 https://doi.org/10.1109/TCAD.2020.3012174 db/journals/tcad/tcad39.html#SunSWGG20