A. David, K. G. Larsen, A. Legay, and D. Poulsen, “Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata”, eceasst, vol. 66, Feb. 2014.