State space adapters for
CADP
.