Formal Traffic Characterization of LTI Event-Triggered Control Systems | Publicación