SMARTEST - Simulation of Probabilistic Systems for the Age of the Digital Twin. The Reasoner, v. 18, n. 2, 1 Mar.2024.