Using the statecharts paradigm for simulation of patient flow in surgical care - Sobolev, B; Harel, D; Vasilakis, C; Levy, A (Health Care Manag Sci, 2008)