Renato Neves, José Proença, Juliana Souza: An adequate while-language for stochastic hybrid computation. PPDP 2025: 20:1-20:13