@book{6757,
	author = {Clarke, Edmund M.},
	title = {Model checking},
	publisher = {The MIT Press},
	year = {1999},
	address = {London},
	url = {https://libgen.is/book/index.php?md5=E70DD960B803F6011802595BBDC065B7}
}