@inproceedings{inproceedings10a2e3ea,
title   = {Synchronized statecharts for reactive systems},
author = {José Neto, João and Almeida Junior, Jorge Rady de and Santos, José Maria Novaes dos},
year = {1998},
publisher = {International Association of Science and Technology for Development/Acta Press},
booktitle   = {IASTED International Conference}
}