{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T07:51:53Z","timestamp":1772783513129,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540311126","type":"print"},{"value":"9783540324508","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11608035_29","type":"book-chapter","created":{"date-parts":[[2005,12,8]],"date-time":"2005-12-08T08:40:49Z","timestamp":1134031249000},"page":"347-359","source":"Crossref","is-referenced-by-count":12,"title":["Process Programming to Support Medical Safety: A Case Study on Blood Transfusion"],"prefix":"10.1007","author":[{"given":"Lori A.","family":"Clarke","sequence":"first","affiliation":[]},{"given":"Yao","family":"Chen","sequence":"additional","affiliation":[]},{"given":"George S.","family":"Avrunin","sequence":"additional","affiliation":[]},{"given":"Bin","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Rachel","family":"Cobleigh","sequence":"additional","affiliation":[]},{"given":"Kim","family":"Frederick","sequence":"additional","affiliation":[]},{"given":"Elizabeth A.","family":"Henneman","sequence":"additional","affiliation":[]},{"given":"Leon J.","family":"Osterweil","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Cheung, S.C., Giannakopoulou, D., Kramer, J.: Verification of liveness properties using compositional reachability analysis. In: Sixth European Software Engineering Conference and Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zurich, Switzerland, pp. 227\u2013243 (1997)","DOI":"10.1007\/3-540-63531-9_17"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Cobleigh, J.M., Clarke, L.A., Osterweil, L.J.: Verifying properties of process definitions. In: ACM SIGSOFT International Symposium on Software Testing and Analysis, Portland, OR, pp. 96\u2013101 (2000)","DOI":"10.1145\/347324.348876"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Corbett, J.C., Dwyer, M.B., Hatcliff, J.: Robby: Bandera: A source-level interface for model checking Java programs. In: 22nd International Conference on Software Engineering, Limerick, Ireland, pp. 762\u2013765 (2000)","DOI":"10.1145\/337180.337625"},{"issue":"3","key":"29_CR4","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/1040291.1040292","volume":"14","author":"M.B. Dwyer","year":"2004","unstructured":"Dwyer, M.B., Clarke, L.A., Cobleigh, J.M., Naumovich, G.: Flow analysis for verifying properties of concurrent software systems. ACM Transactions on Software Engineering and Methodology\u00a014(3), 359\u2013430 (2004)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"5","key":"29_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013294 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"29_CR6","unstructured":"Institute of Medicine: Crossing the Quality Chasm: A New Health System for the 21st Century, pp. 23\u201338. The National Academies Press, Washington DC (2001)"},{"key":"29_CR7","volume-title":"To Err is Human: Building a Safer Health System","year":"1999","unstructured":"Kohn, L.T., Corrigan, J.M., Donaldson, M.S. (eds.): To Err is Human: Building a Safer Health System. National Academy Press, Washington DC (1999)"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Lerner, B.S.: Verifying process models built using parameterized state machines. In: ACM SIGSOFT International Symposium on Software Testing and Analysis, Boston, MA, pp. 274\u2013284 (2004)","DOI":"10.1145\/1007512.1007549"},{"key":"29_CR9","volume-title":"Concurrency: State Models & Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. John Wiley & Sons, Chichester (1999)"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: PROPEL: An approach supporting property elucidation. In: 24th International Conference on Software Engineering, Orlando, FL, pp. 11\u201321 (2002)","DOI":"10.1145\/581339.581345"},{"key":"29_CR11","unstructured":"Wise, A.: Little-JIL 1.0 language report. Technical report (UM-CS-1998-024), Department of Computer Science, University of Massachusetts, Amherst, MA (1998)"}],"container-title":["Lecture Notes in Computer Science","Unifying the Software Process Spectrum"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11608035_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:06:00Z","timestamp":1619492760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11608035_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540311126","9783540324508"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11608035_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}