@book{338136,
	author = {Rierson L. and Rierson L.},
	title = {Developing Safety - Critical Software},
	publisher = {CRC Press},
	year = {2013}
}