Click 15-STL_Parameter Synthesis.pdf link to view the file.