From DSM-Based Planning to Design Process Simulation: A Review of Process Scheme Logic Verification Issues | IEEE Journals & Magazine | IEEE Xplore