Anomaly Detection in Connected and Automated Vehicles using an Augmented State Formulation | IEEE Conference Publication | IEEE Xplore