@book{354281,
	title = {Software analysis and its application in practice},
	year = {2016}
}