Карпов, Ю. (2014). Темпоральные логики для спецификации свойств программных и аппаратных систем. Computer Tools in Education, (2). Retrieved from http://cte.eltech.ru/ojs/index.php/kio/article/view/1174