Ariel Cohen 0002 Kedar S. Namjoshi Local proofs for global safety properties. 104-125 2009 34 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-008-0063-8 db/journals/fmsd/fmsd34.html#CohenN09