Model-Based Physical System Deployment on Embedded Targets with Contract-Based Design | IEEE Conference Publication | IEEE Xplore