The R ole of M odel Checking in C ritiquing based on C linical G uidelines