Roberto Segala Rainer Gawlick Jørgen F. Søgaard-Andersen Nancy A. Lynch Liveness in Timed and Untimed Systems. 119-171 1998 141 Inf. Comput. 2 db/journals/iandc/iandc141.html#SegalaGSL98