Constraint Solving on Hybrid Systems - Roque, Pedro; Pedro, Vasco; Abreu, Salvador (2017)