Coordinating the use of qualitative and quantitative knowledge in declarative device modeling