Evaluation of a state-based real-time scheduling analysis technique | IEEE Conference Publication | IEEE Xplore