@article{article7ba8cb85,
title   = {Validation of statecharts based on programmed execution},
author = {Cangussu, João Wagner Lima and Penteado, Rosangela Aparecida Dellosso and Masiero, Paulo Cesar and Maldonado, José Carlos},
year = {1995},
journal   = {Journal of Computing and Information}
}