A Formal Modeling Framework for Anaerobic Digestion Systems | IEEE Conference Publication | IEEE Xplore