SMARTEST: Simulation of Probabilistic Systems for the Age of the Digital Twin