Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations.

Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur

Browse the full RTSS paper archive.