A conditional abortable priority ceiling protocol for real-time systems with mixed tasks. - Kam-yiu Lam; Kwok-Kin Cheung; Joseph Kee-Yin Ng (RTS, 1997)