Vitalsource Technologies, Inc. A Forward-backward Sdes Approach To Pricing In Carbon Markets