A Workload Model Based Approach to Evaluate the Robustness of Real-time Operating System | IEEE Conference Publication | IEEE Xplore