Life cycle, techno-economic and dynamic simulation assessment of bioelectrochemical systems: A case of formic acid synthesis. (May 2018)