@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} }