Model-Based Stochastic Analysis with Probabilistic Graph Query Evaluation - Földiák , Máté; Marussy, Kristóf; Varro, Daniel (Center for Model-Based Cyber-Physical Product Development, 2025)