Modeling priority analysis via Hybrid Petri Nets for an Internal Combustion Engine Management System | IEEE Conference Publication | IEEE Xplore