SUNRISE SCIENTIFIC PUBLICATION A Formal Model for Reliable Data Acquisition and Control in Legacy Critical Infrastructures In the beginning of…