Describir: Integrácia simulátora Witness s vybraným SRBD