SMARTEST - Simulation of Probabilistic Systems for the Age of the Digital Twin. tr 2024, 18 (2).