David, Alexandre, Kim G. Larsen, Axel Legay, and Danny Poulsen. “Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata”. Electronic Communications of the EASST 66 (February 10, 2014). Accessed November 23, 2024. https://eceasst.org/index.php/eceasst/article/view/2104.