@TechReport{	  it:2005-025,
  author	= {Paul Pettersson and Wang Yi (eds.)},
  title		= {Pre-Proceedings of the 3rd International Conference on
		  Formal Modelling and Analysis of Timed Systems},
  institution	= {Department of Information Technology, Uppsala University},
  department	= {Division of Computer Systems},
  year		= {2005},
  number	= {2005-025},
  month		= sep
}