@book{76274,
	author = { Marieke Huisman},
	title = {Tools and Algorithms for the Construction and Analysis of Systems},
	publisher = {Springer International Publishing},
	year = {2018},
	series = {Lecture Notes in Computer Science; 10805},
	url = {https://link.springer.com/openurl?genre=book&isbn=978-3-319-89960-2}
}