Environment-Friendly Safety. - Orna Kupferman; Sigal Weiner (Haifa Verification Conference, 2012)

Weighted Safety. - Sigal Weiner; Matan Hasson; Orna Kupferman; Eyal Pery; Zohar Shevach (ATVA, 2013)