@TechReport{	  kopf.ea:timing-sensitive:2006,
  author	= {Boris K\"opf and David Basin},
  institution	= {ETH Zurich},
  language	= {USenglish},
  number	= 526,
  pdf		= {papers/2006/tr526.pdf},
  ps		= {papers/2006/tr526.ps.gz},
  title		= {Timing-Sensitive Information Flow Analysis for Synchronous
		  Systems},
  year		= 2006,
  user		= {bkoepf}
}