Functional specification of industrial control systems-an object-oriented approach | IEEE Conference Publication | IEEE Xplore