Tools for the automation of large distributed control systems | IEEE Conference Publication | IEEE Xplore