A symbolic reliability formula using SDP method for weighted-k-out-of-n system - Higashiyama, Yoichi; Cai, X.; Rumchev, Ventseslav (International Society of Science and Applied Technologies, 2009)