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