Text this: THE USE OF APPROXIMATION MODELS OF DISTRIBUTED OBJECTS FOR SYNTHESIS OF DISTRIBUTED CONTROL SYSTEMS