@book{309666,
	author = {NATO Advanced Study Institute on Engineering Dependable Software Systems and Broy, M.,},
	title = {Engineering dependable software systems /},
	publisher = {IOS Press,},
	year = {[2013]},
	series = {NATO science for peace and security series. Sub-series D, Information and communication security ;},
	address = {Amsterdam ;},
	note = {"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso.},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1477301}
}