RealTimeSchedulerTest: only works if there is a state flip, but timings
check out