Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. - Eduardo Tavares; Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Bruno Souza; Silvino Neto; Raimundo S. Barreto; Romulo Devezas Freitas; Marcelo Custódio (DIPES, 2006)

A time Petri net-based method for embedded hard real-time software synthesis. - Raimundo S. Barreto; Paulo Romero Martins Maciel; Eduardo Tavares; Romulo Devezas Freitas; Meuse N. Oliveira Jr.; Ricardo Massa Ferreira Lima (Des. Autom. Embed. Syst., 2008)

Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models. - Romulo Devezas Freitas; Raimundo S. Barreto; Paulo Romero Martins Maciel (SBESC, 2013)