@article { roqpedabr2017, author = "Roque, Pedro and Pedro, Vasco and Abreu, Salvador", title = "Constraint Solving on Hybrid Systems", year = "2017" }