@book{22018,
	author = {Jorgensen, Paul,},
	title = {The Craft of Model-based Testing /},
	publisher = {CRC Press/Taylor & Francis Group,},
	year = {[2017]},
	address = {Boca Raton :}
}