Constraint reasoning for differential models - Cruz, Jorge. (Frontiers in artificial intelligence and applications ;)