Fernando Alegre Eric Feron Santosh Pande Using Ellipsoidal Domains to Analyze Control Systems Software http://arxiv.org/abs/0909.1977 2009 CoRR abs/0909.1977 db/journals/corr/corr0909.html#abs-0909-1977 informal publication