Real-time systems : modeling, design, and applications - Cornell, Aurel; Inoescu, Dan (AMAST series in computing, 2007)