Towards a Formal Account of the Dynamics of Knowledge and Context in Surgical Rooms for the Practice of Surgical Safety CheckLists. - Xing Tan 002; Xiangdong An 001; Nicholas Pairaudeau; Jimmy X. Huang (AMIA, 2016)