Visible to the public CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems