Reasoning about Co-Evolving Discrete, Continuous and Hybrid States. door Angel J. Rivera G.