@techreport{Prosyd:1.2.1,
  author	= {Pill, I. and Jobstmann, B. and Bloem, R. and Frank, R. and Moulin, M. and Sterin, B. and Roveri, M. and Semprini, S.},
  title		= {Property Simulation},
  year		= {2005},
  note		= {Prosyd D1.2/1},
  pdf		= {files/Prosyd1.2_1.pdf},
}