@book{191571,
	author = {Katoen, Joost-Pieter},
	title = {Concepts, algorithms and tools for model checking - (E-BOOK)}
}