Giotto: a time-triggered language for embedded programming | IEEE Journals & Magazine | IEEE Xplore