@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" }