Using model checking for critiquing based on clinical guidelines - Groot, P; Hommersom, A; Lucas, PJ; Merk, RJ; Ten Teije, A; van Harmelen, F (2008)
Artif Intell Med