Dolev, ShlomiKulkarni, SandeepSchiper, Andre2011-12-162011-12-162011-12-16201110.1016/j.tcs.2011.07.023https://infoscience.epfl.ch/handle/20.500.14299/73520WOS:000295106600001Stabilization, Safety and Security Prefacetext::journal::journal article::research article