Predicting Design conflicts using Declarative Language Approach | IEEE Conference Publication | IEEE Xplore