Computing Probability Distributions over a Hybrid State Space: Case Study and Practical Limitations