Visible to the public CPS: Breakthrough: Towards a Science of Attack Composition, Mitigation, and Verification in Cyber-Physical Systems: A Passivity-