Predicting energy and performance overhead of Real-Time Operating Systems | IEEE Conference Publication | IEEE Xplore