Liveness in Timed and Untimed Systems (1993)

by Rainer Gawlick, Roberto Segala, Jrgen Sgaard-Andersen, Nancy A Lynch