Constraint Solving on Hybrid Systems - Roque, Pedro; Pedro, Vasco (2018)