A Markov Chain Model for Workflow Analysis in Operating Rooms | IEEE Journals & Magazine | IEEE Xplore