Gurov, V., Mazin, M., & Shalyto, A. (2008). Auto-completion of guard condition expressions in state charts. Information and Control Systems, (1), 24-33. Retrieved from https://i-us.ru/index.php/ius/article/view/14736