Timed C: An Extension to the C Programming Language for Real-Time Systems | IEEE Conference Publication | IEEE Xplore