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