Multi-State System Reliability by Gregory Levitin & Anatoly Lisnianski