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