Post-Failure Reconfiguration of CSP Programs | IEEE Journals & Magazine | IEEE Xplore