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 A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. 50-62 2005 conf/icess/2005 ICESS http://dx.doi.org/10.1007/11599555_8 db/conf/icess/icess2005.html#AmorimBMTOBL05