Blake C. Rawlings, John M. Wassick, B. Erik Ydstie: Application of formal verification and falsification to large-scale chemical plant automation systems. Comput. Chem. Eng. 114: 211-220 (2018)