2014. Темпоральные логики для спецификации свойств программных и аппаратных систем. Компьютерные инструменты в образовании. 2 (янв. 2014).