@inproceedings{2007-Hommersom-ModelClinical, title = "{The Role of Model Checking in Critiquing based on Clinical Guidelines}", year = "2007", research_group = "iris", pages = "411--420", class = "Conference" }