Constraint Reasoning For Differential Models door J. Cruz