@InProceedings{ david07improving,
        author = {Francis M. David and Jeffrey C. Carlyle and Ellick M. Chan and Philip A. Reames and Roy H. Campbell},
        title = "{Improving Dependability by Revisiting Operating System Design}",
        booktitle = {Proceedings of the 3rd Workshop on Hot Topics in Dependability},
	pages = {58--63},
        address = {Edinburgh, UK},
        month = {June},
        year = {2007}
}