@inproceedings{WHKPS13,
  author    = {S. Weiner and M. Hasson and O. Kupferman and E. Pery and Z. Shevach},
  title     = {Weighted Safety},
  booktitle = atva13,
  pages     = {133-147},
  publisher = {Springer},
  series    = lncs, 
  volume    = {8172},
  year      = {2013}
}