T. Kottke and A. Steininger, “A Generic Dual Core Architecture with Error Containment”, Comput. Inform., vol. 23, no. 5-6, pp. 517–535, Feb. 2012.