Temporal and Spatial Partitioning of a Time-Triggered Operating System Based on Real-Time Linux | IEEE Conference Publication | IEEE Xplore