Design for trustworthy software tools, techniques, and methodology of developing robust software - Jayaswal, Bijay K. 1949- (Prentice Hall, 2007)