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