Карпов, Ю.Г. «Темпоральные логики для спецификации свойств программных и аппаратных систем». Компьютерные инструменты в образовании0, no. 2 (январь 21, 2014). просмотрено май 18, 2024. http://cte.eltech.ru/ojs/index.php/kio/article/view/1174.