Real-Time, Reconfigurable CAN Intrusion Detection for EV Powertrain Networks via Specification-Driven Timing and Integrity Constraints | Synapse