@Article{	  caleiro.ea:metareasoning:2005,
  author	= {Carlos Caleiro and Luca Vigan\`o and David Basin},
  journal	= {Electronic Notes in Theoretical Computer Science
		  (Proceedings of the Workshop on Automated Reasoning for
		  Security Protocol Analysis, ARSPA 2004)},
  number	= 1,
  pages		= {67--89},
  title		= {Metareasoning about Security Protocols using Distributed
		  Temporal Logic},
  volume	= 125,
  year		= 2005
}