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