Gurov, V., Mazin, M. and Shalyto, A. (2008) “Auto-completion of guard condition expressions in state charts”, Information and Control Systems, (1), pp. 24-33. Available at: https://i-us.ru/index.php/ius/article/view/14736 (Accessed: 10November2026).