@book{86244,
	author = {Kramer, Anne and Legeard, Bruno},
	title = {Model-based testing essentials :},
	publisher = {John Wiley & Sons,},
	year = {2016},
	address = {Hoboken, NJ :}
}