@book{104939,
	author = {BERARD ETC},
	title = {SYSTEMS AND SOFTWARE VERIFICATION},
	publisher = {SPRINGER},
	edition = {1}
}