Constraint Reasoning For Differential Models by J. Cruz