V. Gurov, M. Mazin, and A. Shalyto, “Auto-completion of guard condition expressions in state charts”, ICS, no. 1, pp. 24-33, Feb. 2008.