David, A. (2014) “Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata”, Electronic Communications of the EASST, 66. doi: 10.14279/tuj.eceasst.66.893.