Object-oriented modeling of logic control systems for industrial applications