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