Lightweight and Explainable Anomaly Detection in CAN Bus Traffic via Non-Negative Matrix Factorization | Synapse