Verification and optimisation of an operating room workflow | IEEE Conference Publication | IEEE Xplore