A. Prasad Sistla On Characterization of Safety and Liveness Properties in Temporal Logic. 39-48 1985 PODC db/conf/podc/podc85.html#Sistla85