Nan Guan Zonghua Gu Mingsong Lv Qingxu Deng Ge Yu Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking. 556-560 2008 ISORC http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.74 conf/isorc/2008 db/conf/isorc/isorc2008.html#GuanGLDY08