Timed C: An Extension to the C Programming Language for Real-Time Systems. - Saranya Natarajan; David Broman (RTAS, 2018)

From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C. - Saranya Natarajan; Mitra Nasri; David Broman; Björn B. Brandenburg; Geoffrey Nelissen (RTSS, 2019)

Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. - Saranya Natarajan; David Broman (FDL, 2020)

Programming Language Primitives and Tools for Integrated Real-Time Systems Development. - Saranya Natarajan (2021)