Liu, Kondratyev, Watanabe, Sangiovanni-Vincentelli, 2005. A structural approach to quasi-static schedulability analysis of communicating concurrent programs, in: . ACM Press.. https://doi.org/10.1145/1086228.1086231