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