Repositório de Specs utilizados na apresentação do TDC 2013