@book{1839927,
	author = {Smith, David},
	title = {The Safety Critical Systems Handbook},
	publisher = {Elsevier},
	url = {https://www.sciencedirect.com/science/book/9780128051214}
}