Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
LibreCat: https://research-explorer.ista.ac.at/record/4445
DOI: 10.1145/1017753.1017774

Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.
LibreCat: https://research-explorer.ista.ac.at/record/4458
DOI: 10.1145/964001.964021

Henzinger, Thomas A., et al. “Extreme Model Checking.”10.1007/978-3-540-39910-0_16__Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.
LibreCat: https://research-explorer.ista.ac.at/record/4461
DOI: 10.1007/978-3-540-39910-0_16

Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.
LibreCat: https://research-explorer.ista.ac.at/record/4459
DOI: 10.1145/996841.996844

Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.
LibreCat: https://research-explorer.ista.ac.at/record/4525
DOI: 10.1007/978-3-540-24743-2_24