Forward invariant cuts to simplify proofs of safety

@inproceedings{DBLP:conf/emsoft/ArechigaKDPK15,
	author = {['Nikos Arechiga', 'James Kapinski', 'Jyotirmoy V. Deshmukh', 'André Platzer', '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', '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}
}