Toward providing guidance for procedure design: Formal definitions of procedure characteristics | IEEE Conference Publication | IEEE Xplore