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