DOI,IST REx ID,Title of publication
null,4425,Giotto: A time-triggered language for embedded programming