Timed C: An Extension to the C Programming Language for Real-Time Systems.

Saranya Natarajan, David Broman

Browse the full RTAS paper archive.