On bisimulation, fault-monotonicity and provable fault-tolerance | Publicación