@inbook {5033,
	title = {A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol},
	booktitle = {Software Engineering for Resilient Systems},
	series = {Lecture Notes in Computer Science},
	volume = {9274},
	year = {2015},
	month = {09/15},
	pages = {31-45},
	publisher = {Springer International Publishing},
	organization = {Springer International Publishing},
	issn = {978-3-319-23129-7},
	doi = {10.1007/978-3-319-23129-7_3},
	url = {http://link.springer.com/chapter/10.1007/978-3-319-23129-7_3},
	author = {Tam{\'a}s T{\'o}th and Andr{\'a}s V{\"o}r{\"o}s and Istv{\'a}n Majzik},
	editor = {Alessandro Fantechi and Patrizio Pelliccione}
}
