Overview of Distributed Control Systems Formalisms

This paper discusses a chosen set of mainly object-oriented formal and semiformal methods, methodics, environments and tools for specification, analysis, modeling, simulation, verification, development and synthesis of distributed control systems (DCS).