@Article{	  basin.ea:automated:2009,
  author	= {David Basin and Manuel Clavel and J{\"u}rgen Doser and
		  Marina Egea},
  journal	= {Information and Software Technology},
  language	= {USenglish},
  number	= 5,
  pages		= {815--831},
  pdf		= {papers/2009/jist09.pdf},
  title		= {Automated analysis of security-design models},
  volume	= 51,
  year		= 2009,
  user		= {bgeiser}
}