Conformance testing of priority inheritance protocols. - David Polock; Dieter Zöbel (RTCSA, 2000)

Testing for the Conformance of Real-time Protocols Implemented by Operating Systems. - Dieter Zöbel; David Polock; Andreas van Arkel (FMICS, 2004)

Priority Inheritance Revisited. Towards the conformance of real-time protocols. - Dieter Zöbel; David Polock (Tech. Sci. Informatiques, 2005)