@INPROCEEDINGS{RMF-CDC2006, 
author={Roozbehani, M. and Megretski, A. and Feron, E.}, 
booktitle={Decision and Control, 2006 45th IEEE Conference on}, 
title={Safety Verification of Iterative Algorithms over Polynomial Vector Fields}, 
year={2006}, 
month={Dec}, 
pages={6061-6067}, 
}