Model Checking for Clinical Guidelines: an Agent-based Approach. - Laura Giordano 001; Paolo Terenziani; Alessio Bottrighi; Stefania Montani; Loredana Donzella (AMIA, 2006)