Jorge Cruz Constraint Reasoning for Differential Models 2005 1-216 IOS Press Frontiers in Artificial Intelligence and Applications 126 978-1-58603-532-7 http://www.booksonline.iospress.nl/Content/View.aspx?piid=54 http://www.booksonline.iospress.nl/Content/View.aspx?piid=54