Software safety and reliability : - Herrmann, Debra S. (IEEE Computer Society, 1999)