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