A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis

BARRETO, R. S.; MACIEL, P. R. M. ; TAVARES, E. A. G. ; FREITAS, R. D. ; OLIVEIRA JUNIOR, M. N. ; LIMA, R. M. . A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis. Design Automation for Embedded Systems, v. 12, p. 1-10, 2008.

2008