Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu. Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking. In 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA. pages 556-560, IEEE Computer Society, 2008. [doi]
Abstract is missing.