https://animalistas.info/26271419-advances-in-computers-volume-58-highly-dependable-software-by-marvin-v-zelkowitz.html