@techreport{MeZi03,
  key         ={MeZi03},
  author      ={A. Metzger and G. Zimmermann},
  title       ={{Modellierung Reaktiver Systeme: Ein Fallbeispiel}},
  address     ={Kaiserslautern, Germany},
  institution ={Department of Computer Science, University of Kaiserslautern},
  number      ={SFB report 08/2003},
  year        ={2003},
  remark      ={rsg}
}