_id,doi,title
4469,10.1109/JPROC.2002.805825,Giotto: A time-triggered language for embedded programming