Liveness in Timed and Untimed Systems (1994)

by Rainer Gawlick, Roberto Segala, Jørgen Søgaard-Andersen, Nancy Lynch