{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T20:14:35Z","timestamp":1784664875316,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540372158","type":"print"},{"value":"9783540372165","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11813040_3","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T10:51:03Z","timestamp":1154947863000},"page":"32-47","source":"Crossref","is-referenced-by-count":8,"title":["Interactive Verification of Medical Guidelines"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Schmitt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alwin","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Balser","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mar","family":"Marcos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Seyfang, A., Kosara, R., Miksch, S.: Asbru 7.3 reference manual. Technical report, Vienna University of Technology (2002)"},{"issue":"1-3","key":"3_CR2","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S1386-5056(02)00064-3","volume":"68","author":"A. Seyfang","year":"2002","unstructured":"Seyfang, A., Miksch, S., Marcos, M.: Combining diagnosis and treatment using Asbru. International Journal of Medical Informatics\u00a068(1-3), 49\u201357 (2002)","journal-title":"International Journal of Medical Informatics"},{"key":"3_CR3","unstructured":"Marcos, M., Roomans, H., ten Teije, A., van Harmelen, F.: Improving medical protocols through formalisation: a case study. In: Proc. of the Session on Formal Methods in Healthcare, 6th International Conference on Integrated Design and Process Technology (IDPT 2002) (2002)"},{"key":"3_CR4","unstructured":"Balser, M., Duelli, C., Reif, W.: Formal semantics of Asbru \u2013 An Overview. In: Proceedings of IDPT 2002, Society for Design and Process Science (2002)"},{"key":"3_CR5","unstructured":"B\u00e4umler, S., Balser, M., Dunets, A., Reif, W., Schmitt, J.: Verification of medical guidelines by model checking \u2013 a case study. In: SPIN conference proceedings (to appear, 2006)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/3-540-46428-X_25","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Balser","year":"2000","unstructured":"Balser, M., Reif, W., Schellhorn, G., Stenzel, K., Thums, A.: Formal system development with KIV. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol.\u00a01783, p. 363. Springer, Heidelberg (2000)"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1542\/peds.94.4.558","volume":"94","author":"AAP","year":"1994","unstructured":"AAP: American Academy of Pediatrics, Provisional Committee for Quality Improvement and Subcommittee on Hyperbilirubinemia. Practice parameter: management of hyperbilirubinemia in the healthy term newborn. Pediatrics 94, 558\u2013565 (1994)","journal-title":"Pediatrics"},{"key":"3_CR8","unstructured":"Balser, M.: Verifying Concurrent System with Symbolic Execution \u2013 Temporal Reasoning is Symbolic Execution with a Little Induction. PhD thesis, University of Augsburg, Augsburg, Germany (2005)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Stegers, R.: From natural language to formal proof goal: Structured goal formalisation applied to medical guidelines. Master\u2019s thesis, Vrije Universiteit, Amsterdam (2006)","DOI":"10.1007\/11891451_8"},{"issue":"4","key":"3_CR10","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1093\/logcom\/12.4.549","volume":"12","author":"M. Balser","year":"2002","unstructured":"Balser, M., Duelli, C., Reif, W., Schellhorn, G.: Verifying concurrent systems with symbolic execution. Journal of Logic and Computation\u00a012(4), 549\u2013560 (2002)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1197\/jamia.M1135","volume":"10","author":"M. Peleg","year":"2003","unstructured":"Peleg, M., Tu, S., Bury, J., Ciccarese, P., Fox, J., Greenes, R., Hall, R., Johnson, P., Jones, N., Kumar, A., Miksch, S., Quaglini, S., Seyfang, A., Shortliffe, E., Stefanelli, M.: Comparing Computer-interpretable Guideline Models: A Case-study Approach. Journal of the American Medical Informatics Association\u00a010(1), 52\u201368 (2003)","journal-title":"Journal of the American Medical Informatics Association"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0169-2607(97)00034-5","volume":"54","author":"J. Fox","year":"1997","unstructured":"Fox, J., Johns, N., Lyons, C., Rahmanzadeh, A., Thomson, R., Wilson, P.: PROforma: a general technology for clinical decision support systems. Computer Methods and Programs in Biomedicine\u00a054, 59\u201367 (1997)","journal-title":"Computer Methods and Programs in Biomedicine"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle: A Generic Theorem Prover","author":"L.C. Paulson","year":"1994","unstructured":"Paulson, L.C.: Isabelle: A Generic Theorem Prover. LNCS, vol.\u00a0828. Springer, Heidelberg (1994)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Manna, Z., the STeP\u00a0group: Step: The stanford temporal prover. Technical report, Computer Science Department, Stanford University (1994)","DOI":"10.21236\/ADA324036"},{"key":"3_CR15","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1990","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1990)"},{"key":"3_CR16","volume-title":"The SPIN Model Checker","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2003)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/BFb0028779","volume-title":"Computer Aided Verification","author":"M. Bozga","year":"1998","unstructured":"Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos: A model-checking tool for real-time systems. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol.\u00a01427, pp. 546\u2013550. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","FM 2006: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11813040_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T12:10:15Z","timestamp":1683547815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11813040_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540372158","9783540372165"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11813040_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}