Formalization of target and assessment of quality of the cyber-physical control systems for emissions reduction technologiesRemir Solnitsev and Gennady KorshunovE3S Web Conf., 220 (2020) 01018DOI: https://doi.org/10.1051/e3sconf/202022001018