System simulation and reliability assessment of Chinese carbon sequestration market. - Bo Tang 013; Jianzhong Gao (J. Syst. Sci. Complex., 2014)