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