Towards an OPC UA Compliant Programming Approach with Formal Model of Computation for Dynamic Reconfigurable Automation Systems | IEEE Conference Publication | IEEE Xplore