@book{27659,
	author = {Berard, B.},
	title = {Systems and software verification :},
	publisher = { Springer-Verlag,},
	year = { 2001},
	address = {Berlin; New York:},
	note = {Includes bibliographical references and index}
}