Email zadetek: Model Checking for Clinical Guidelines: an Agent-based Approach