Solving redundancy allocation problem applied to electrical systems using CSP and forward checking | IEEE Conference Publication | IEEE Xplore