A structural approach to quasi-static schedulability analysis of communicating concurrent programs. - Cong Liu 013; Alex Kondratyev; Yosinori Watanabe; Alberto L. Sangiovanni-Vincentelli (EMSOFT, 2005)

Schedulability Analysis of Petri Nets Based on Structural Properties. - Cong Liu 013; Alex Kondratyev; Yosinori Watanabe; Jörg Desel; Alberto L. Sangiovanni-Vincentelli (Fundam. Informaticae, 2008)