Publications
and Automotive Systems [10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, Sep. 30 - Oct. 2, 2014.], pages 200–209. Institute for Traffic [...] Silvia Bonfanti, Angelo Gargantini, and Paolo Salvaneschi, editors, Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings [...] state machines. In Hossein Hojjat and Erika Ábrahám, editors, Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 45, 2023, Revised Selected Papers, volume 14155