1. Modeling engineering structures with constrained objects;Jayaraman,2002
2. Specifying real-time properties with metric temporal logic;Koymans;Real-time Syst,1990
3. The programming language aspects of Thinglab. A constraint-oriented simulation laboratory;Borning;ACM Trans Program Lang Syst,1981
4. The specification and generation of constraint satisfaction systems;Leler,1987
5. Constrained objects;Horn,1993