A Framework for Designing Embedded Real-Time Controllers | IEEE Conference Publication | IEEE Xplore