The following publications are possibly variants of this publication:
- Software synthesis for hard real-time embedded systems with multiple processorsEduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima. sigsoft, 32(2):1-10, 2007. [doi]
- A formal software synthesis approach for embedded hard real-time systemsRaimundo S. Barreto, MarĂlia Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima. sbcci 2004: 163-168 [doi]
- Software Synthesis for Hard Real-Time Embedded Systems with Energy ConstraintsEduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel, Pedro Dallegrave. sbac-pad 2008: 115-122 [doi]
- A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSCLeonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima. icess 2005: 50-62 [doi]
- A time Petri net-based method for embedded hard real-time software synthesisRaimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima. dafes, 12(1-2):31-62, 2008. [doi]
- A Time Petri Net-Based Approach for Software Synthesis Considering OverheadsRaimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos Mello. sbac-pad 2005: 184-192 [doi]