Peter Christopher Fontana: Towards a Unified Theory of Timed Automata. University of Maryland, College Park, MD, USA 2014