Gurov, V., Mazin, M. and Shalyto, A. 2008. Auto-completion of guard condition expressions in state charts. Information and Control Systems. 1 (Feb. 2008), 24-33.