@TechReport{	  it:2002-025,
  author	= {Paul Petterson and Wang Yi (eds.)},
  title		= {Workshop on Real-Time Tools (Proceedings)},
  institution	= {Department of Information Technology, Uppsala University},
  department	= {Division of Computer Systems},
  year		= {2002},
  number	= {2002-025},
  month		= jul,
  abstract	= {Proceedings of the 2nd workshop on Real-Time Tools
		  (RT-TOOLS), arranged in Copenhagen, Denmark, August 1 2002
		  in association with the 14th conference on Computer-Aided
		  Verification (CAV).}
}