(1)
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. CAI 2015, 33, 721-734.