Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis | IEEE Journals & Magazine | IEEE Xplore