Ramaswamy Ramanujam Locally Linear Time Temporal Logic. 118-127 1996 LICS db/conf/lics/lics96.html#Ramanujam96