Academic treatment of real-time computing fundamentals, scheduling algorithms, and latency guarantees.