@article{	  wahler.ea:pattern:2009,
  author	= {Michael Wahler and David Basin and Achim D. Brucker and Jana Koehler},
  journal	= {Software and Systems Modeling},
  language	= {USenglish},
  title		= {Efficient Analysis of Pattern-based Constraint Specifications},
  year		= {2009},
  doi 		= {10.1007/s10270-009-0123-6}
}