Vassos Hadzilacos Joseph Y. Halpern The Failure Discovery Problem. 103-129 1993 26 Mathematical Systems Theory 1 db/journals/mst/mst26.html#HadzilacosH93a