F. A. T. Abdi, R. Mancuso, R. Tabish, and M. Caccamo, “Achieving system-level fault-tolerance with controlled resets,” in , 2017.