Module: model/RecordingStateParameter