@book{42036,
	author = {Jayaswal, Bijay K. and Patton, Peter C.},
	title = {Design for trustworthy software :},
	publisher = {Prentice Hall,},
	year = {2007},
	address = {Upper Saddle River, NJ :}
}