Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking. - Nan Guan; Zonghua Gu 001; Qingxu Deng; Shuaihong Gao; Ge Yu 001 (SEUS, 2007)