A. L. Bonifácio and F. A. L. Gomes, “State-oriented models in software specification”, Semin., Exact Tech. Scienc., vol. 25, no. 2, pp. 163–170, Dec. 2004.