From Input-Output Matrixes to Agent-Based Models: A Case Study on Carbon Credits in a Local Economy | IEEE Conference Publication | IEEE Xplore