GUROV, V.; MAZIN, M.; SHALYTO, A. Auto-completion of guard condition expressions in state charts. Information and Control Systems, n. 1, p. 24-33, 20 fev. 2008.