[Vijeta Rathore] A Development Framework for Ultra-Dependable Automotive Systems Based on a Time-Triggered Architecture