Real-Time Systems2011-01-010 PRE AI DOI:10.1007/978-1-4419-8237-7OriginalOriginal request for helpShareSaveAbstract En