DOI,IST REx ID,Title of publication
10.1109/JPROC.2002.805825,4469,Giotto: A time-triggered language for embedded programming