Proceedings of the 2007 workshop on Engineering fault tolerant systems