@techreport{Prosyd:2.1.1,
  author	= {Auerbach, G. and Moulin, M. and Jobstmann, B. and Bloem, R.},
  title		= {Property-Based Design and Implementation},
  year		= {2005},
  number	= {Prosyd D2.1/1},
  pdf		= {files/Prosyd2.1_1.pdf},
}