@techreport{2009-Vermolen-Hooman, author = "{Vermolen}, Sander D. and {Hooman}, Jozef and {Larsen}, Peter Gorm", title = "{Proving Consistency of VDM models using HOL}", number = "ICIS--R09006", month = "December", institution = "Radboud University Nijmegen", year = "2009", research_group = "mbsd", class = "Report" }