Silva Filho, Antonio.
" On Deriving Statecharts Supervision Models from SDL Specifications Using SSM" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (14 October 1996)