Verification of Medical Guidelines by Model Checking – A Case Study - Baumler, S; Balser, M; Dunets, A; Reif, W; Schmitt, J (Springer-Verlag LNCS, 2006)
p