A Formal Traffic Characterization of LTI Event