Deriving liveness goals from temporal logic specifications (1996)

by C Caleiro, G Saake, A Sernadas
Venue:Journal of Symbolic Computation