Design, Applications, and Maintenance of Cyber-Physical Systems