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