@techreport{Prosyd:2.2.3,
  author	= {Bloem, R. and Jobstmann, B.},
  title		= {Manual for Property-Based Synthesis Tool},
  year		= {2006},
  number	= {Prosyd D2.2/3},
  pdf		= {files/Prosyd2.2_3.pdf},
}