Error detection for chemical plant automation logic using supervisory control theory | IEEE Conference Publication | IEEE Xplore