Modeling priority analysis via Hybrid Petri Nets for an Internal Combustion Engine Management System. - Angelo Palladino; Luis Antonio Aguirre; Giovanni Fiengo; Rodrigo de Castro Lima (ACC, 2010)