Using model checking for critiquing based on clinical guidelines

Using model checking for critiquing based on clinical guidelines