Model-Based Analysis of a Smart Latch System in Automotive Application. - Damiano Nardi; Pierpaolo Dini; Giovanni Basso; Sergio Saponara (ApplePies, 2024)