@book{91160,
	author = {Zander Justyna},
	title = {Model-Based Testing For Embedded Systems},
	publisher = {CRC Press},
	year = {2017},
	address = {London}
}