Replay simulation in Cameo Systems Modeler

I was unable to find in the documentation any way in which a sequence can be replayed in simulation mode using Cameo Systems Modeler. This article https://doi.org/10.4271/2021-01-0260 

 

states "A native Cameo's plugin is constructed to transform SysML state machines to the input language of NuSMV model checker and also to replay the verification results back into the Cameo's environment." So expect some capabilities are present.
Can anybody provide me some hints, point to documentation I might have missed, etc. that can help me in replaying a recorded sequence in the simulation mode?