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