Text this: Design for trustworthy software : tools, techniques, and methodology of developing robust software / Bijay K. Jayaswal, Peter C. Patton.