Карпов Ю. Темпоральные логики для спецификации свойств программных и аппаратных систем. CTE [Internet]. 2014Jan.21 [cited 2024May18];0(2). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1174