Rigorous process-based modelling of patterns for collaborative work in healthcare teams | IEEE Conference Publication | IEEE Xplore