Perry Groot Arjen Hommersom Peter J. F. Lucas Radu Serban Annette ten Teije Frank van Harmelen The Role of Model Checking in Critiquing Based on Clinical Guidelines. 411-420 2007 conf/aime/2007 AIME http://dx.doi.org/10.1007/978-3-540-73599-1_55 db/conf/aime/aime2007.html#GrootHLSTH07