DOI,IST REx ID,Title of publication
10.1007/3-540-45828-X_5,4421,A Giotto-based helicopter control system
10.1007/3-540-45828-X_7,4470,Time-safety checking for embedded programs
10.1007/3-540-45828-X_9,4631,Timed interfaces