ConFiRM-DRTS: A Certification Framework for Dynamic Resource Management in Distributed Real-Time Systems. - Suzhen Lin; A. Sai Sudhir; G. Manimaran (IPDPS, 2003)