publicações Development of a reduction algorithm for biological models, applied to the signalisation module of NF-kB Documento