M. Földiák , K. Marussy, and D. Varro, “Model-Based Stochastic Analysis with Probabilistic Graph Query Evaluation”, MODPROD, vol. 37, no. 19, p. 17, Mar. 2025.