Trace visualization and analysis tool for supervisory control systems | IEEE Conference Publication | IEEE Xplore