Темпоральные логики для спецификации свойств программных и аппаратных систем. Comput. Tools Educ. [Internet]. 2009 Apr. 30 [cited 2026 Oct. 24];(2). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1174