A Formal Model for Reliable Data Acquisition and Control in Legacy Critical Infrastructures | Publicación