Workshop on Model Based Design for Cyber-Physical Systems (MB4CP) | IEEE Conference Publication | IEEE Xplore