Visible to the public CPS: Breakthrough: Towards a Science of Attack Composition, Mitigation and Verification in CPS: A Passivity Based ApproachConflict Detection Enabled