Test Generation for Hybrid, Probabilistic Control Models
B. Kumar, O. Niggemann, J. Jasperneite, in: 2010.