A Deterministic Analysis Method of Embedded System Based on Event-driven | IEEE Conference Publication | IEEE Xplore