Taylor T. Johnson: Uniform verification of safety for parameterized networks of hybrid automata. University of Illinois Urbana-Champaign, USA 2013