Andy Chou Junfeng Yang Benjamin Chelf Seth Hallem Dawson R. Engler An Empirical Study of Operating System Errors. 73-88 2001 SOSP http://doi.acm.org/10.1145/502034.502042 db/conf/sosp/sosp2001.html#ChouYCHE01