De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:108-122. doi:10.1007/3-540-45828-X_9
LibreCat: https://research-explorer.ista.ac.at/record/4631
DOI: 10.1007/3-540-45828-X_9

Henzinger TA, Kirsch C, Majumdar R, Matic S. Time-safety checking for embedded programs. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:76-92. doi:10.1007/3-540-45828-X_7
LibreCat: https://research-explorer.ista.ac.at/record/4470
DOI: 10.1007/3-540-45828-X_7

Kirsch C, Sanvido M, Henzinger TA, Pree W. A Giotto-based helicopter control system. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:46-60. doi:10.1007/3-540-45828-X_5
LibreCat: https://research-explorer.ista.ac.at/record/4421
DOI: 10.1007/3-540-45828-X_5