Philip Koopman John DeVale Comparing the Robustness of POSIX Operating Systems. 30-37 1999 FTCS http://computer.org/proceedings/ftcs/0213/02130030abs.htm db/conf/ftcs/ftcs99.html#KoopmanD99