@inproceedings{Kup14, author = "O. Kupferman", title = "Variations on Safety", booktitle = tacas14, series = lncs, publisher = springer, year = 2014 }