@inbook {4261,
	title = {Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics},
	booktitle = {Computer Safety, Reliability, and Security},
	series = {Lecture Notes in Computer Science},
	volume = {8696},
	year = {2014},
	pages = {207-218},
	publisher = {Springer International Publishing},
	organization = {Springer International Publishing},
	isbn = {978-3-319-10556-7},
	doi = {10.1007/978-3-319-10557-4_24},
	url = {http://dx.doi.org/10.1007/978-3-319-10557-4_24},
	author = {Tam{\'a}s T{\'o}th and Andr{\'a}s V{\"o}r{\"o}s and Istv{\'a}n Majzik},
	editor = {Andrea Bondavalli and Ceccarelli, Andrea and Ortmeier, Frank}
}
