Visible to the public Automated Security Analysis of Software-based Control in Emerging Smart Transportation Under Sensor Attacks