Gurov V, Mazin M, Shalyto A. Auto-completion of guard condition expressions in state charts. ICS [Internet]. 20Feb.2008 [cited 10Nov.2026];(1):24-3. Available from: https://i-us.ru/index.php/ius/article/view/14736