Model-driven constraint engineeringMichael WahlerJana Koehleret al.2006Electronic Communications of the EASST
Efficient analysis of pattern-based constraint specificationsMichael WahlerDavid Basinet al.2009Software and Systems Modeling