Model-Driven Development in Real-Time Embedded Control Systems: A Case Study | IEEE Conference Publication | IEEE Xplore