@inproceedings{FK15, author = {R. Faran and O. Kupferman}, title = {Spanning the Spectrum from Safety to Liveness}, booktitle = atva15, series = lncs, volume = 9364 pages = {183--200}, year = {2015} }