1. ARMADA middleware and communication services;Abdelzaher;Journal of Real-Time Systems,1999
2. A single-chip, 1.6 billion, 16-b MAC/s multiprocessor DSP;Ackland;IEEE Journal of Solid-State Circuits,2000
3. Real-time kernel in hardware RTU: a step towards deterministic and high performance real-time systems;Adomat,1996
4. Model-based run-time monitoring of end-to-end systems;Ahluwalia,2005
5. Compilers: Principles, Techniques, and Tools;Aho,1986