Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
Software synthesis for hard real-time embedded systems with multiple processors
Eduardo Tavares
Raimundo da Silva Barreto
Paulo Romero Martins Maciel
Fernando Rocha
Meuse Oliveira
Ricardo Massa Ferreira Lima