{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:11:03Z","timestamp":1763467863015},"publisher-location":"Boston, MA","reference-count":28,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387739465"},{"type":"electronic","value":"9780387739472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-73947-2_21","type":"book-chapter","created":{"date-parts":[[2007,12,29]],"date-time":"2007-12-29T11:54:35Z","timestamp":1198929275000},"page":"267-282","source":"Crossref","is-referenced-by-count":5,"title":["Engineering Medical Processes to Improve Their Safety"],"prefix":"10.1007","author":[{"given":"Leon J.","family":"Osterweil","sequence":"first","affiliation":[]},{"given":"George S.","family":"Avrunin","sequence":"additional","affiliation":[]},{"given":"Bin","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Lori A.","family":"Clarke","sequence":"additional","affiliation":[]},{"given":"Rachel","family":"Cobleigh","sequence":"additional","affiliation":[]},{"given":"Elizabeth A.","family":"Henneman","sequence":"additional","affiliation":[]},{"given":"Philip L.","family":"Henneman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"To Err is Human: Building a Safer Health System","year":"1999","key":"21_CR1","unstructured":"L.T. Kohn, J.M. Corrigan, M.S. Donaldson (Eds). To Err is Human: Building a Safer Health System. Washington, DC: National Academy Press, 1999."},{"volume-title":"Building a Better Delivery System: A new Engineering\/Healthcare Partnership","year":"2005","key":"21_CR2","unstructured":"P.P. Reid, W.D. Compton, J.H. Grossman, G. Fanjiang (Eds). Building a Better Delivery System: A new Engineering\/Healthcare Partnership. Nat. Academies Press, Washington. DC, 2005."},{"issue":"1","key":"21_CR3","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.tmrv.2006.08.007","volume":"21","author":"E.H. Henneman","year":"2007","unstructured":"E.H. Henneman, R.L. Cobleigh, K. Frederick, E. Katz-Bassett, G.A. Avrunin, L.A. Clarke, L.J. Osterweil, C. Andrzejewski, K. Merrigan, P.L. Henneman, Increasing patient Safety and Efficiency in Transfusion Therapy using Formal Process Definitions, Transfusion Medicine Reviews, 21,1, pp. 49\u201357, January 2007","journal-title":"Transfusion Medicine Reviews"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"1204","DOI":"10.1046\/j.1537-2995.2001.41101204.x","volume":"41","author":"J.L. Callum","year":"2001","unstructured":"J.L. Callum, H.S. Kaplan, L.L. Merkley, et.al. Near-miss Event Reporting for Transfusion Medicine: Improving Transfusion Safety, Transfusion, 41, 1204\u20131211, 2001.","journal-title":"Transfusion"},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1046\/j.1365-3148.2000.00247.x","volume":"10","author":"D. Voak","year":"2000","unstructured":"D. Voak, J.F. Chapman, P. Phillips, Quality of transfusion practice beyond the blood transfusion laboratory is essential to prevent ABO-incompatible death. Transfusion Medicine 10: 95\u201396, 2000.","journal-title":"Transfusion Medicine"},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/S1070-3241(02)28033-5","volume":"28","author":"J. Burgmeier","year":"2002","unstructured":"J. Burgmeier, Failure Mode and Effect Analysis: An Application in Reducing Risk in Blood Transfusion. Quality Improvement 28,331-339, 2002.","journal-title":"Quality Improvement"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"B. Chen, G.S. Avrunin, L.A. Clarke, L.J. Osterweil, Automatic Fault Tree Derivation from Little-JIL Process Definitions, SPW\/PROSIM 2006, Shanghai, China, May 20\u201322, 2006, Springer-Verlag LNCS. 3966, pp. 150\u2013158.","DOI":"10.1007\/11754305_17"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, A. Tacchella, NuSMV vers. 2: An Open-Source Tool for Symbolic Model Checking, Computer Aided Verification Conf., Springer-Verlag, 2002, 359\u2013365.","DOI":"10.1007\/3-540-45657-0_29"},{"issue":"4","key":"21_CR9","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/1040291.1040292","volume":"13","author":"M.B. Dwyer","year":"2004","unstructured":"M.B. Dwyer, L.A. Clarke, J.M. Cobleigh, G. Naumovich, Flow Analysis for Verifying Properties of Concurrent Software Systems. ACM Trans. on Software Engineering and Methodology, 13(4) 359\u2013430, 2004.","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"21_CR10","first-page":"96","volume-title":"ACM SIGSOFT Intl. Symp. on Software Testing & Analysis","author":"J.M. Cobleigh","year":"2000","unstructured":"J.M. Cobleigh, L.A. Clarke, L.J. Osterweil, Verifying Properties of Process Definitions, ACM SIGSOFT Intl. Symp. on Software Testing & Analysis, Portland, OR, ACM Press, 2000:96\u2013101"},{"issue":"10","key":"21_CR11","doi-asserted-by":"publisher","first-page":"1207","DOI":"10.1046\/j.1537-2995.2000.40101207.x","volume":"40","author":"J.V. Linden","year":"2000","unstructured":"J.V. Linden, K. Wagner, A.E. Voytovich, et.al., Transfusion Errors in New York State: An Analysis of 10 Years\u2019 Experience, Transfusion, 40(10), 1207\u20131213, 2000.","journal-title":"Transfusion"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"A.G. Cass, B.S. Lerner, E.K. McCall, et al. Little-JIL\/Juliette: A Process Definition Language and Interpreter, Intl Conf. on Software Engineering. Limerick, Ireland, 754\u2013758, 2000.","DOI":"10.1145\/337180.337623"},{"key":"21_CR13","unstructured":"A. Wise, Little-JIL 1.5 Language Report, Lab. for Advanced SW Eng. Research (LASER). Dept. of Comp. Sci., UMass, Amherst, Tech. Report, 2006."},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"R.L. Smith, G.S. Avrunin, L.A. Clarke, L.J. Osterweil, PROPEL: An Approach To Supporting Property Elucidation, 24th Intl. Conf. on Software Engineering, Orlando, FL, 11\u201321, 2002.","DOI":"10.1145\/581339.581345"},{"issue":"3","key":"21_CR15","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.artmed.2005.10.006","volume":"36","author":"A. Teije ten","year":"2006","unstructured":"A. ten Teije, M. Marcos, M. Balser, J. van Croonenborg, C. Duelli, F. van Harmelen, P. Lucas, S. Miksch, W. Reif, K. Rosenbrand, A. Seyfang, Improving Medical Protocols by Formal Methods. Artificial Intell. in Medicine, 36(3), 193\u2013209, 2006.","journal-title":"Artificial Intell. in Medicine"},{"issue":"2","key":"21_CR16","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.jbi.2005.07.001","volume":"39","author":"R. Noumeir","year":"2006","unstructured":"R. Noumeir, Radiology interpretation process modeling. Journal of Biomedical Informatics 39(2) 103\u2013114, 2006.","journal-title":"Journal of Biomedical Informatics"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"M. Ruffolo, R. Curio, L. Gallucci, Process Management in Health Care: A System for Preventing Risks and Medical Errors, Business Process Mgmt. 334\u2013343 2005.","DOI":"10.1007\/11538394_22"},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"1330","DOI":"10.1046\/j.1537-2995.2003.00504.x","volume":"43","author":"M.L. Foss","year":"2003","unstructured":"M.L. Foss, S.B. Moore, Evolution of Quality Management: Integration of Quality Assurance Functions Into Operations, or \u201cQuality is Everyone\u2019s Responsibility\u201d. Transfusion 43 1330\u20131336, 2003.","journal-title":"Transfusion"},{"key":"21_CR19","first-page":"231","volume":"122","author":"J.B. Battles","year":"1998","unstructured":"J.B. Battles, H.S. Kaplan, T.W. van der Schaaf, C.E. Shea, The Attributes of Medical Event Reporting Systems for Transfusion Medicine. Arch Pathology Laboratory Medicine 122, 231\u2013238, 1998.","journal-title":"Arch Pathology Laboratory Medicine"},{"issue":"Suppl 1","key":"21_CR20","first-page":"S43","volume":"107","author":"S.A. Galel","year":"1997","unstructured":"S.A. Galel, C.A. Richards, Practical Approaches to Improve Laboratory Performance and Transfusion Safety, Am. J. Clinical Pathology 107(Suppl 1): S43\u2013S49, 1997.","journal-title":"Safety, Am. J. Clinical Pathology"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"L.C. van der Gaag, S. Renooji, C.L.M. Witteman, B.M.P. Aleman, B.G. Taal, Probabilities for a Probabilistic Network: A Case-Study in Oesophageal Cancer, Artificial Intelligence in Medicine, 25(2), 123\u2013148.","DOI":"10.1016\/S0933-3657(02)00012-X"},{"issue":"3","key":"21_CR22","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/214013.214017","volume":"4","author":"S.M. Sutton Jr.","year":"1995","unstructured":"S.M. Sutton Jr., D.M. Heimbigner, L.J. Osterweil, APPL\/A: A Language for Software-Process Programming, ACM Trans. on Software Engineering and Methodology, 4(3), 221\u2013286, 1995.","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"I.Z. Ben-Shaul, G. Kaiser, A Paradigm for Decentralized Process Modeling and its Realization in the Oz Environment, 16th Intl. Conference on Software Engineering, 179\u2013188, 1994.","DOI":"10.1109\/ICSE.1994.296777"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"S. Bandinelli, A. Fuggetta, C. Ghezzi, Process Model Evolution in the SPADE Environment. IEEE Transactions on Software Engineering 19(12) 1993.","DOI":"10.1109\/32.249659"},{"key":"21_CR25","unstructured":"S. Paul, E. Park, J. Chaar, RainMan: A Workflow System for the Internet, Usenix Symposium on Internet Technologies and Systems, 1997."},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"B. Grosof, Y. Labrou, H.Y. Chan, A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML, ACM Conf. on Electronic Commerce (EC 99), Denver, CO, 68\u201377, 1999.","DOI":"10.1145\/336992.337010"},{"key":"21_CR27","unstructured":"G. J. Holzmann, The SPIN Model Checker, Addison-Wesley, 2004."},{"key":"21_CR28","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF01384316","volume":"6","author":"J.C. Corbett","year":"1995","unstructured":"J.C. Corbett, G.S. Avrunin, Using Integer Programming to Verify General Safety and Liveness Properties, Formal Methods in System Design, 6, 97\u2013123, 1995.","journal-title":"Formal Methods in System Design"}],"container-title":["IFIP \u2014 The International Federation for Information Processing","Situational Method Engineering: Fundamentals and Experiences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-73947-2_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T04:20:17Z","timestamp":1619670017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-73947-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387739465","9780387739472"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-73947-2_21","relation":{},"subject":[]}}