Framework for Automated Application-Specific Optimization of Embedded Real-Time Operating Systems | IEEE Conference Publication | IEEE Xplore