@techreport{2013-Osaiweran-FormalReport,
  author		= "{Osaiweran}, Ammar and {Schuts}, Mathijs and {Hooman}, Jozef and {Wesselius}, Jacco",
  title			= "{Incorporating Formal Techniques into Industrial Practice: an Experience Report}",
  number		= "ICIS--R13003",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  year			= "2013",
  research_group	= "mbsd",
  class			= "Report"
}