Raab, P.; Krämer, S.; Mottok, J.; Vavřička, V. Isomorphism Between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems. Comput. Inform. 2015, 33, 721-734.