Hybrid automata: an insight into the discrete abstraction of discontinuous systems. - Eva M. Navarro-López; Rebekah Carter (Int. J. Syst. Sci., 2011)

Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems. - Rebekah Carter; Eva M. Navarro-López (FORMATS, 2012)

Deadness and how to disprove liveness in hybrid dynamical systems. - Eva M. Navarro-López; Rebekah Carter (Theor. Comput. Sci., 2016)