Földiák , Máté, Kristóf Marussy, and Daniel Varro. “Model-Based Stochastic Analysis With Probabilistic Graph Query Evaluation”. Center for Model-Based Cyber-Physical Product Development 37, no. 19 (March 20, 2025): 17. Accessed March 29, 2025. https://wcc.ep.liu.se/index.php/MODPROD/article/view/1420.