Silva Filho, A.
1996 Oct 14.  On Deriving Statecharts Supervision Models from SDL Specifications Using SSM. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :