On the precise and efficient representation of industrialcontrollers in Modelica