An empirical study of operating systems errors
Proceedings of the eighteenth ACM symposium on Operating systems principles - SOSP ’01
Andy Chou
Dawson Engler
Seth Hallem
Benjamin Chelf
Cooperative Update: A New Model for Dependable Live Update