An ant colony metaheuristic approach for optimal reliability assessment of software systems incorporating redundancy | IEEE Conference Publication | IEEE Xplore