@book{65240,
	author = {Knight, John},
	title = {Fundamentals of dependable computing for software engineers /},
	publisher = {CRC Press,},
	year = {c2012},
	series = {Chapman & Hall/CRC innovations in software engineering and software development},
	address = {Boca Raton :}
}