Thomas Graf Pascal Van Hentenryck Claudine Pradelles Laurent Zimmer Simulation of Hybrid Circuits in Constraint Logic Programming. 72-77 1989 IJCAI db/conf/ijcai/ijcai89.html#GrafHPZ89