Bruno Blanchet Patrick Cousot Radhia Cousot Jérôme Feret Laurent Mauborgne Antoine Miné David Monniaux Xavier Rival A Static Analyzer for Large Safety-Critical Software http://arxiv.org/abs/cs/0701193 2007 CoRR abs/cs/0701193 db/journals/corr/corr0701.html#abs-cs-0701193 informal publication