A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. - Leonardo Amorim; Raimundo S. Barreto; Paulo Romero Martins Maciel; Eduardo Tavares; Meuse N. Oliveira Jr.; Arthur Bessa; Ricardo Massa Ferreira Lima (ICESS, 2005)

Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. - Raimundo S. Barreto; Eduardo Tavares; Paulo Romero Martins Maciel; Marília Neves; Meuse N. Oliveira Jr.; Leonardo Amorim; Arthur Bessa; Ricardo Massa Ferreira Lima (IESS, 2005)

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. - Eduardo Tavares; Raimundo S. Barreto; Paulo Romero Martins Maciel; Meuse N. Oliveira Jr.; Adilson Arcoverde; Gabriel Alves; Ricardo Massa Ferreira Lima; Leonardo Barros; Arthur Bessa (PATMOS, 2005)

A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. - Eduardo Tavares; Paulo Romero Martins Maciel; Arthur Bessa; Raimundo S. Barreto; Leonardo Barros; Meuse N. Oliveira Jr.; Ricardo Massa Ferreira Lima (SBCCI, 2005)