David, A.; Larsen, K. G.; Legay, A.; Poulsen, D. Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. ECEASST 2014, 66.