LARA This is an old revision of the document! Please see http://lara.epfl.ch/dokuwiki/doku.php?id=cost-cert:top