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)

A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. - Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Angelo Ribeiro; César A. L. de Oliveira; Adilson Arcoverde; Raimundo S. Barreto; Eduardo Tavares; Leonardo Amorim (PATMOS, 2005)

A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. - Raimundo S. Barreto; Eduardo Tavares; Paulo Romero Martins Maciel; Meuse N. Oliveira Jr.; Leonardo Amorim; Ricardo Massa Ferreira Lima; Cesar Carvalho; Carlos A. B. Mello (SBAC-PAD, 2005)

A methodology for mapping live sequence chart to coloured Petri net. - Leonardo Amorim; Paulo Romero Martins Maciel; Meuse N. Nogueira Jr.; Raimundo S. Barreto; Eduardo Tavares (SMC, 2005)

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. - Leonardo Amorim; Paulo Romero Martins Maciel; Meuse N. Nogueira Jr.; Raimundo S. Barreto; Eduardo Tavares (ACM SIGSOFT Softw. Eng. Notes, 2006)

Software synthesis for hard real-time embedded systems with multiple processors. - Eduardo Tavares; Raimundo S. Barreto; Paulo Romero Martins Maciel; Meuse N. Oliveira Jr.; Leonardo Amorim; Fernando Rocha; Ricardo Massa Ferreira Lima (ACM SIGSOFT Softw. Eng. Notes, 2007)

A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance. - Eduardo Tavares; Paulo Romero Martins Maciel; Erica Sousa; Bruno Costa e Silva Nogueira; Leonardo Amorim; Victor Lira (SMC, 2012)