@Article{	  wahler.ea:efficient:2010,
  author	= {Michael Wahler and David Basin and Achim D. Brucker and
		  Jana Koehler},
  title		= {{Efficient Analysis of Pattern-Based Constraint
		  Specifications}},
  journal	= {Software and Systems Modeling},
  classification= {journal},
  publisher	= {Springer-Verlag},
  address	= {Heidelberg},
  areas		= {formal methods, software},
  keywords	= {UML, OCL, Constraints, Patterns, Consistency},
  year		= {2010},
  public	= {yes},
  issn		= {1619-1366},
  volume	= {9},
  number	= {2},
  month		= apr,
  doi		= {10.1007/s10270-009-0123-6},
  pages		= {225--255}		  
}