J. Widder, G. Le Lann, U. Schmid:
"Perfect failure detection with booting in partially synchronous systems";
Report for Technical Report 183/1-131, Department of Automation, Technische Universität Wien; 2003.
http://www.auto.tuwien.ac.at/Projects/W2F/papers.html