Orna Kupferman Nir Piterman Moshe Y. Vardi From liveness to promptness. 83-103 2009 34 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-009-0067-z db/journals/fmsd/fmsd34.html#KupfermanPV09