Publications
Industrial-strength model-based testing of safety-critical systems. In John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, and Anna Philippou, editors, FM 2016: Formal Methods - 21st International [...] Kosmatov, editors, Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings, volume 9154 of Lecture Notes in Computer Science, pages [...] Jan Peleska. A domain-specific language for railway interlocking systems. In Eckehard Schnieder and G´eza Tarnai, editors, FORMS/FORMAT 2014 - Formal Methods for Automation and Safety in Railway and Automotive