Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
Eduardo Tavares
Raimundo da Silva Barreto
Paulo Romero Martins Maciel
Leonardo Amorim de Barros