Parameter Synthesis Through Temporal Logic Specifications