Kostas N. Oikonomou Rakesh K. Sinha Improved bounds for performability evaluation algorithms using state generation. 121-135 2009 66 Perform. Eval. 2 http://dx.doi.org/10.1016/j.peva.2008.10.011 db/journals/pe/pe66.html#OikonomouS09