Карпов, Ю. Темпоральные логики для спецификации свойств программных и аппаратных систем. CTE 2014.