@MastersThesis{	  th:Staesche2012a,
  author	= {Daniel Staesche},
  month		= {February},
  school	= {TU Darmstadt},
  title		= {Security Preserving Refinement of CSP Specifications},
  type		= {Master Thesis},
  year		= 2012
}