Combining task execution and background knowledge for the verification of medical guidelines - Hommersom, Arjen; Groot, Perry; Lucas, Peter; Balser, Michael; Schmitt, Jonathan (Knowledge-Based Systems, 2007)