Using role interaction nets in designing embedded systems for supporting coordinated work | IEEE Conference Publication | IEEE Xplore