Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata. - Daniele Nicoletti; Samuele Germiniani; Alessandro Aldegheri; Michele Cipriani; Davide Venturi; Tommaso Vilotto; Graziano Pravadelli (LATS, 2025)