Krzysztof Diks Andrzej Pelc System Diagnosis with Smallest Risk of Error. 163-173 1998 203 Theor. Comput. Sci. 1 db/journals/tcs/tcs203.html#DiksP98 http://dx.doi.org/10.1016/S0304-3975(97)00294-6