Verification and Optimisation of an Operating Room Workflow. - Kamel Barkaoui; Ph. Dechambre; R. Hachicha (HICSS, 2002)