2009. Темпоральные логики для спецификации свойств программных и аппаратных систем. Computer Tools in Education. 2 (Apr. 2009).