Unmesh D. Bordoloi Samarjit Chakraborty Interactive schedulability analysis. 2007 7 ACM Trans. Embedded Comput. Syst. 1 http://doi.acm.org/10.1145/1324969.1324976 db/journals/tecs/tecs7.html#BordoloiC07