Visible to the public CPS Synergy: Collaborative Research: Formal Design of Semi-autonomous Cyber Physical Transportation SystemsConflict Detection Enabled