SeDo Sohn PoongHyun Seong Quantitative evaluation of safety critical software testability based on fault tree analysis and entropy. 351-360 2004 73 Journal of Systems and Software http://dx.doi.org/10.1016/j.jss.2003.10.028 db/journals/jss/jss73.html#SohnS04