Principles for Dependable Systems
High-quality has to be built-in
   =>  Each stage of development must be done well
   =>  Testing and correction does not lead to quality
   =>  Changes should be incorporated into the structure
10