Journal
REAL-TIME SYSTEMS
Volume 28, Issue 2-3, Pages 237-253Publisher
SPRINGER
DOI: 10.1023/B:TIME.0000045319.20260.73
Keywords
-