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