Attack Modelling and Intrusion Detection in a CAN-Based Smart Parking Cyber-Physical System. - Alvaro de Castro; Antonio Muñoz 001 (SAT-CPS@CODASPY, 2026)