Martina Connestari. Model-based design of vehicle control logic with functional safety requirements. Rel. Stefano Carabelli. Politecnico di Torino, Corso di laurea magistrale in Mechatronic Engineering (Ingegneria Meccatronica), 2025