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