Probabilistic schedulability tests for uniprocessor fixed-priority scheduling under soft errors | IEEE Conference Publication | IEEE Xplore