Text this: Modelamiento formal de sistemas continuos de control industrial en ambientes distribuidos