Văn bản này: Reliable software through composite design