Validation of statecharts based on programmed execution - Cangussu, João Wagner Lima; Penteado, Rosangela Aparecida Dellosso; Masiero, Paulo Cesar; Maldonado, José Carlos (Journal of Computing and Information, 1995)