Formalization of Data Exchange Between the Systems of Monitoring and Control over an Anaerobic Bioreactor | IEEE Conference Publication | IEEE Xplore