LARA This is an old revision of the document! For SAV 2011, please see: http://lara.epfl.ch/w/sav11:top