Galen C. Hunt Mark Aiken Manuel Fähndrich Chris Hawblitzel Orion Hodson James R. Larus Steven Levi Bjarne Steensgaard David Tarditi Ted Wobber Sealing OS processes to improve dependability and safety. 341-354 2007 conf/eurosys/2007 EuroSys http://doi.acm.org/10.1145/1272996.1273032 db/conf/eurosys/eurosys2007.html#HuntAFHHLLSTW07