High-Level Traffic-Violation Detection for Embedded Traffic Analysis | IEEE Conference Publication | IEEE Xplore