Baumgarten, B.B.BaumgartenOchsenschläger, P.P.OchsenschlägerPrinoth, R.R.Prinoth2022-03-072022-03-071985https://publica.fraunhofer.de/handle/publica/284992en004005006A formal model of the CCR algorithmreport