@InProceedings{ david07building,
        author = {Francis M. David and Roy H. Campbell},
        title = "{Building a Self-Healing Operating System}",
        booktitle = {Proceedings of the 3rd IEEE International Symposium on Dependable, Autonomic and Secure Computing},
	pages = {3--17},
        address = {Columbia, MD},
        month = {Sep},
        year = {2007}
}