@techreport{Magnini94,
  author	= {Magnini, B.},
  title		= {Specification of the upper model},
  institution	= {IRST},
  year		= {1994},
  number	= {LRE Project 062-09 Deliverable TST-1}
}