Alan K. Mackworth Constraint-Based Design of Embedded Intelligent Systems. 83-86 1997 2 Constraints 1 db/journals/constraints/constraints2.html#Mackworth97