Proceedings of the 2007 workshop on Engineering fault tolerant systems
ACM Digital Library