Email Record: 17th IEEE Real-Time Systems Symposium :