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