Giotto a time-triggered language for embedded programming