Bonifácio AL, Gomes FAL. State-oriented models in software specification. Semin., Exact Tech. Scienc. [Internet]. 2004 Dec. 15 [cited 2024 Nov. 21];25(2):163-70. Available from: https://ojs.uel.br/revistas/uel/index.php/semexatas/article/view/1571