New algorithm for computing exact reliability formula of weighted-k-out-of-n system using SDP method - Higashiyama, Yoichi; Cai, X.; Rumchev, Ventseslav (International Insitute of Informatics and Systemics, 2009)