КАРПОВ, Ю. Темпоральные логики для спецификации свойств программных и аппаратных систем. Computer Tools in Education, n. 2, 21 Jan. 2014.