Rong Peng Jingsong Cui Yue Pan Efficient Deadlock-Freeness Detection in Real-time Systems. 805-809 2005 conf/IEEEcit/2005 CIT http://doi.ieeecomputersociety.org/10.1109/CIT.2005.107 db/conf/IEEEcit/IEEEcit2005.html#PengCP05