@book{23246,
	author = {CHRISTEL BAIER },
	title = {PRINCIPLES OF MODEL CHECKING},
	publisher = {MIT PRESS},
	address = {USA}
}