@INPROCEEDINGS{RMF-ACC2005, 
author={Roozbehani, M. and Megretski, A. and Feron, E.}, 
booktitle={American Control Conference, 2005. Proceedings of the 2005}, 
title={Convex optimization proves software correctness}, 
year={2005}, 
month={June}, 
pages={1395-1400 vol. 2},
}