A development framework for ultra-dependable automotive systems based on a time-triggered architecture | IEEE Conference Publication | IEEE Xplore