@book{22073,
	author = {Hobbs, Chris},
	title = {Embedded software development for safety-critical systems /},
	publisher = {CRC Press,},
	year = {[2016]},
	address = {Boca Raton},
	note = {Minimal Level Cataloging Plus.}
}