4 books on BookOwl
Software for Dependable Systems
2007
Summary of a Workshop on Software Certification and Dependability
2004