Visible to the public Collaborative Research: Abstraction of Cyber-Physical Interplays and Its Application to CPS Design