A Service-Based Approach to Designing Cyber Physical Systems | IEEE Conference Publication | IEEE Xplore