Silva Filho, A.
1996 out 14.  On Deriving Statecharts Supervision Models from SDL Specifications Using SSM. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :