Cong Liu Alex Kondratyev Yosinori Watanabe Alberto L. Sangiovanni-Vincentelli A structural approach to quasi-static schedulability analysis of communicating concurrent programs. 10-16 2005 conf/emsoft/2005 EMSOFT http://doi.acm.org/10.1145/1086228.1086231 db/conf/emsoft/emsoft2005.html#LiuKWS05