Raab, Peter, et al. “Isomorphism Between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems”. Computing and Informatics, vol. 33, no. 4, Feb. 2015, pp. 721-34, http://147.213.75.17/ojs/index.php/cai/article/view/424.