@Article{	  wahler.ea:efficient:2010,
  author	= {Michael Wahler and David Basin and Achim D. Brucker and
		  Jana Koehler},
  copyright	= {Springer-Verlag, Heidelberg},
  copyrighturl	= { doi = 10.1007/s10270-009-0123-6},
  issn		= {1619-1366},
  journal	= {Software and Systems Modeling},
  language	= {USenglish},
  month		= 4,
  note		= {keywords = UML, OCL, Constraints, Patterns, Consistency},
  number	= 2,
  pages		= {225--255},
  pdf		= {papers/2010/paper.pdf},
  title		= {Efficient Analysis of Pattern-Based Constraint
		  Specifications},
  volume	= 9,
  year		= 2010,
  user		= {bgeiser}
}