P. Raab, S. Krämer, J. Mottok, and V. Vavřička, “Isomorphism between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems”, Comput. Inform., vol. 33, no. 4, pp. 721–734, Feb. 2015.