_id,title 4425,Giotto: A time-triggered language for embedded programming