State space adapters for
mCRL2
.