Aomar Osmani François Lévy Simulating faults in telecommunication network: Reasoning about uncertain propagation of events. 15-19 2000 conf/cata/2000 Computers and Their Applications db/conf/cata/cata2000.html#OsmaniL00