@book{81368,
	author = {Hobbs, Chris},
	title = {Embedded software development for safety-critical systems /},
	publisher = {CRC Press,},
	year = {2016},
	address = {Boca Raton, FL :}
}