Well, with an ideal spring the force the spring applies is directly proportional to the distance it is stretched. But I realize that there are no ideal springs. Probably it would be useful to write a small script that, given a curve for displacement/force for the pedal and a another for the spring generates the cam profile to get the two to match.