Software has become omnipresent and vital in our information-based society, so all software producers should assume responsibility for its reliability. This title provides overviews of related work, and contributes to a comprehensive glossary, a list of acronyms, and a list of books that together represent the community's body of knowledge.