A probabilistic performance metric for real-time system design | IEEE Conference Publication | IEEE Xplore