DOI,IST REx ID,Title of publication
10.1007/3-540-45449-7_12,4479,Giotto: A time-triggered language for embedded programming