Zhenyu Tan Lonnie R. Welch William Leal Michael W. Masters Toward System Certification of Real-Time Resource Management Middleware. 3-9 2005 conf/csreaESA/2005 ESA db/conf/csreaESA/csreaESA2005.html#TanWLM05