The Arm Triple Core Lock-Step (TCLS) Processor. - Xabier Iturbe; Balaji Venu; Emre Ozer 001; Jean-Luc Poupat; Gregoire Gimenez; Hans-Ulrich Zurek (ACM Trans. Comput. Syst., 2018)