Real-time systems - scheduling, analysis, and verification

Albert Mo Kim Cheng. Real-time systems - scheduling, analysis, and verification. Wiley, 2002.

Abstract

Abstract is missing.