Worst-case execution time analysis of the RTEMS real-time operating system | IEEE Conference Publication | IEEE Xplore