Tamás Tóth, András Vörös, István Majzik. A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol. In Alessandro Fantechi, Patrizio Pelliccione, editors, Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. Volume 9274 of Lecture Notes in Computer Science, pages 31-45, Springer, 2015. [doi]
Abstract is missing.