Cyber-Attack Detection in Socio-Technical Transportation Systems Exploiting Redundancies Between Physical and Social Data | IEEE Journals & Magazine | IEEE Xplore