@book{598527,
	author = {Smith, David J.},
	title = {The safety critical systems handbook :}
}