Per visualizzare il file, fai click su questo link: 20-STL_Parameter Synthesis.pdf