Forward invariant cuts to simplify proofs of safety

@INPROCEEDINGS{DBLP:conf/emsoft/ArechigaKDPK15,

  author    = {Nikos Arechiga and
               James Kapinski and
               Jyotirmoy V. Deshmukh and
               Andr{\'e} Platzer and
               Bruce H. Krogh},
  title     = {Forward invariant cuts to simplify proofs of safety},
  booktitle = {EMSOFT},
  pages     = {227-236},
  year      = {2015},
  doi       = {10.1109/EMSOFT.2015.7318278},
  editor    = {Alain Girault and
               Nan Guan},
  longbooktitle = {2015 International Conference on
               Embedded Software, {EMSOFT} 2015,
               Amsterdam, The Netherlands, October 4-9,
               2015},
  publisher = {IEEE},
  isbn      = {978-1-4673-8079-9}
}```