State space adapters for mCRL2.