Text this: Redundancy allocation for a high security control system using estimation of distribution algorithm