A CEGAR approach for the reachability analysis of PLC-controlled chemical plants | IEEE Conference Publication | IEEE Xplore