High-Level Traffic-Violation Detection for Embedded Traffic Analysis