Parameter Synthesis with IC3