Marcin Szpyrka, Lukasz Podolski, Michal Wypych. Modelling and Verification of Real-Time Systems with Alvis. In Piotr Kosiuczenko, Lech Madeyski, editors, Towards a Synergistic Combination of Research and Practice in Software Engineering [papers from KKIO 2017, Rzeszów, Poland, 14-16 September 2017]. Volume 733 of Studies in Computational Intelligence, pages 165-178, Springer, 2017. [doi]
Abstract is missing.