State space adapters for CADP.