Execução Programada de Statecharts
Validation of Statecharts Based on Programmed Execution
Paulo Cesar Masiero
José Carlos Maldonado
Rosângela Aparecida Delosso Penteado