Applying source-code verification to a microkernel: the VFiasco project. - Michael Hohmuth; Hendrik Tews; Shane G. Stephens (ACM SIGOPS European Workshop, 2002)

Fault tolerance and avoidance in biomedical systems. - Shane G. Stephens; Gernot Heiser (ACM SIGOPS European Workshop, 2002)