author = "Perry Groot and Frank van Harmelen and Arjen Hommersom and Peter Lucas and Radu Serban and Annette ten Teije",
title = "The Role of Model Checking in Critiquing based on Clinical Guidelines ",
booktitle = "Proceedings of the Eleventh European Conference on Artificial
Intelligence in Medicine (AIME'07)",
year = 2007,
pages = "xxx",
publisher = "Springer Verlag",
series = "LNAI",
volume = yyy
}