@InProceedings{	  kopf.ea:timing-sensitive:2006-b,
  author	= {Boris K\"opf and David Basin},
  booktitle	= {ESORICS '06},
  editor	= {Dieter Gollman et al},
  language	= {USenglish},
  pages		= {243--262},
  pdf		= {papers/2006/2_esorics06.pdf},
  ps		= {papers/2006/2_esorics06.ps.gz},
  publisher	= {Springer Verlag},
  series	= {LNCS},
  title		= {Timing-Sensitive Information Flow Analysis for Synchronous
		  Systems},
  volume	= 4189,
  year		= 2006,
  user		= {bkoepf}
}