{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T20:16:55Z","timestamp":1784665015644,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540331025","type":"print"},{"value":"9783540331032","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11691617_13","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T14:14:13Z","timestamp":1143555253000},"page":"219-233","source":"Crossref","is-referenced-by-count":23,"title":["Verification of Medical Guidelines by Model Checking \u2013 A Case Study"],"prefix":"10.1007","author":[{"given":"Simon","family":"B\u00e4umler","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Balser","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andriy","family":"Dunets","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonathan","family":"Schmitt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"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-565 (1994)"},{"key":"13_CR2","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":"13_CR3","unstructured":"Balser, M., Duelli, C., Reif, W.: Formal Semantics of Asbru - An Overview. In: Proc. of the 6th World Conference on Integrated Design and Process Technology(IDPT 2002) (June 2002)"},{"issue":"5","key":"13_CR4","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Transactions on Programming Languages and Systems\u00a016(5), 1512\u20131542 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR5","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: ACM Symposium of Programming Language, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"13_CR7","unstructured":"Dams, D.: Abstract Interpretation and Partition Refinement for Model Checking. PhD Thesis, Eindhoven University of Technology (1996)"},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/244795.244800","volume":"19","author":"D. Dams","year":"1997","unstructured":"Dams, D., Gerth, R., Grumberg, O.: Abstract interpretation of reactive systems. ACM Transactions on Programming Languages and Systems\u00a019(2), 253\u2013291 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","first-page":"186","volume-title":"Compositionality: The Significant Difference","author":"A. Pnueli","year":"1998","unstructured":"Pnueli, A., Josko, B., Hungar, H., Damm, W.: A Compositional Real-time Semantics of STATEMATE Designs. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, p. 186. Springer, Heidelberg (1998)"},{"key":"13_CR10","unstructured":"Duftschmid, G., Miksch, S.: Knowledge-based verification of clinical guidelines by detection of anomalies OEGAI Journal, 37 \u2013 39 (1999)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Allen Emerson, E.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, pp. 995\u20131072. North- Holland Pub. Co., MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"13_CR12","volume-title":"Clinical Practice Guidelines: Directions for a New Program","author":"M.J. Field","year":"1992","unstructured":"Field, M.J., Lohr, K.N.: Clinical Practice Guidelines: Directions for a New Program. National Academy Press, Washington D.C. (1992)"},{"key":"13_CR13","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":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/3-540-44685-0_29","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Godefroid","year":"2001","unstructured":"Godefroid, P., Huth, M., Jagadeesan, R.: Abstraction-based Model Checking using Modal Transition Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 426\u2013440. Springer, Heidelberg (2001)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Grumberg, O.: Abstractions and Reductions in Model Checking. Nato Science Series, vol.\u00a062. Marktoberdorf summer school (2001)","DOI":"10.1007\/978-94-010-0413-8_9"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-63166-6_10","volume-title":"Computer Aided Verification","author":"S. Graf","year":"1997","unstructured":"Graf, S., Saidi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 72\u201383. Springer, Heidelberg (1997)"},{"key":"13_CR17","unstructured":"Long, D.E.: Model checking, Abstraction, and Compositional Reasoning. PhD Thesis, Carnegie Mellon University (1993)"},{"key":"13_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking: An Approach to the State Explosion Problem","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic, Dordrecht (1993)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Shahar, Y., Miksch, S., Johnson, P.: The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines. Artificial Intelligence in Medicine, 29\u201351 (1998)","DOI":"10.1016\/S0933-3657(98)00015-3"},{"key":"13_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980)"},{"key":"13_CR21","volume-title":"Proc. of the Symposium on Computerized Guidelines and Protocols (CGP 2004)","author":"A. Teije ten","year":"2004","unstructured":"ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelem, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A., Coltel, J., Jovell, A.: Supporting the development of medical protocols through formal methods. In: Proc. of the Symposium on Computerized Guidelines and Protocols (CGP 2004), IOS Press, Amsterdam (2004)"},{"issue":"1-2","key":"13_CR22","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Peterson, P., Yi, W.: UPPAL in a nuttshell. Journal of Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"Journal of Software Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11691617_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T17:18:48Z","timestamp":1555521528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11691617_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331025","9783540331032"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11691617_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}