@techreport{2005-Hendriks-CheckingModel, author = "{Hendriks}, Martijn", title = "{Model Checking the Time to Reach Agreement}", number = "ICIS--R05014", month = "February", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2005", code = "icis.ICIS-R05014", research_group = "icis", class = "Report" }