(1) Gu, Zonghua(#)Cai, Haibin(*)Efficient algorithms for schedulability analysis and priority assignment for fixed-priority preemptive scheduling with offsetsInternational Journal of Embedded Systems201464):303-318

(2) Gu, Zonghua(#)Wang, ZhuChen, HaolanCai, Haibin(*)A model-checking approach to schedulability analysis of global multiprocessor scheduling with fixed offsetsInternational Journal of Embedded Systems201462-3):176-187

(3) Gu, Zonghua(#)Hong Li(*)Haibin CaiImproving computation efficiency of schedulabilityof a transaction-based task model for distributed real-time embedded systemsInternational Journal of Embedded Systems, 2016.