{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T15:23:10Z","timestamp":1767626590275},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642323546"},{"type":"electronic","value":"9783642323553"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32355-3_1","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T10:36:41Z","timestamp":1342003001000},"page":"1-20","source":"Crossref","is-referenced-by-count":13,"title":["Medical Protocol Diagnosis Using Formal Methods"],"prefix":"10.1007","author":[{"given":"Dominique","family":"M\u00e9ry","sequence":"first","affiliation":[]},{"given":"Neeraj Kumar","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Committee to Advise the Public Health Service on Clinical Practice Guidelines, United States and Institute of Medicine","author":"K.N. Lohr","year":"1990","unstructured":"Lohr, K.N., Field, M.J.: Clinical practice guidelines: directions for a new program. In: Committee to Advise the Public Health Service on Clinical Practice Guidelines, United States and Institute of Medicine. National Academy Press, Washington, D.C. (1990)"},{"issue":"3","key":"1_CR2","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.artmed.2005.10.006","volume":"36","author":"A. Teije Ten","year":"2006","unstructured":"Ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving medical protocols by formal methods. Artif. Intell. Med.\u00a036(3), 193\u2013209 (2006)","journal-title":"Artif. Intell. Med."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"1_CR4","unstructured":"Project RODIN: Rigorous open development environment for complex systems (2004), \n                    \n                      http:\/\/rodin-b-sharp.sourceforge.net\/"},{"key":"1_CR5","unstructured":"M\u00e9ry, D., Singh, N.K.: Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods. Technical report, LORIA UMR 7503 (2011), \n                    \n                      http:\/\/hal.inria.fr\/inria-00584177\/en\/"},{"issue":"1-2","key":"1_CR6","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0933-3657(98)00015-3","volume":"14","author":"Yuval Shahar","year":"1998","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)","journal-title":"Artificial Intelligence in Medicine"},{"key":"1_CR7","unstructured":"Samson, M.M., Musen, M.A., Tu, S.W., Das, A.K., Shahar, Y.: Eon: A component-based approach to automation of protocol-directed therapy (1996)"},{"issue":"1-2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0933-3657(98)00021-9","volume":"14","author":"J. Fox","year":"1998","unstructured":"Fox, J., Johns, N., Rahmanzadeh, A.: Disseminating medical knowledge: the proforma approach. Artificial Intelligence in Medicine\u00a014(1-2), 157\u2013182 (1998)","journal-title":"Artificial Intelligence in Medicine"},{"issue":"1","key":"1_CR9","doi-asserted-by":"crossref","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.A., Miksch, S., Quaglini, S., Seyfang, A., Shortliffe, E.H., Stefanelli, M., et al.: Comparing computer-interpretable guideline models: A case-study approach. JAMIA\u00a010 (2003)","journal-title":"Journal of the American Medical Informatics Association"},{"issue":"1-3","key":"1_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S1386-5056(02)00065-5","volume":"68","author":"D. Wang","year":"2002","unstructured":"Wang, D., Peleg, M., Tu, S.W., Boxwala, A.A., Greenes, R.A., Patel, V.L., Shortliffe, E.H.: Representation primitives, process models and patient data in computer-interpretable clinical practice guidelines: A literature review of guideline representation models. International Journal of Medical Informatics\u00a068(1-3), 59\u201370 (2002)","journal-title":"International Journal of Medical Informatics"},{"issue":"12","key":"1_CR11","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1016\/j.ijmedinf.2008.05.010","volume":"77","author":"D. Isern","year":"2008","unstructured":"Isern, D., Moreno, A.: Computer-based execution of clinical guidelines: A review. International Journal of Medical Informatics\u00a077(12), 787\u2013808 (2008)","journal-title":"International Journal of Medical Informatics"},{"key":"1_CR12","volume-title":"A critiquing approach to expert computer advice: Attending","author":"P.L. Miller","year":"1985","unstructured":"Miller, P.L.: A critiquing approach to expert computer advice: Attending. Pitman Publishing, Inc., Marshfield (1985)"},{"key":"1_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-48229-6_59","volume-title":"Artificial Intelligence in Medicine","author":"M. Marcos","year":"2001","unstructured":"Marcos, M., Berger, G., van Harmelen, F., ten Teije, A., Roomans, H., Miksch, S.: Using Critiquing for Improving Medical Protocols: Harder than It Seems. In: Quaglini, S., Barahona, P., Andreassen, S. (eds.) AIME 2001. LNCS (LNAI), vol.\u00a02101, pp. 431\u2013441. Springer, Heidelberg (2001)"},{"issue":"3","key":"1_CR14","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1177\/0272989X9401400306","volume":"14","author":"R.N. Shiffman","year":"1994","unstructured":"Shiffman, R.N., Greenes, R.A.: Improving Clinical Guidelines with Logic and Decision-table Techniques: Application to Hepatitis Immunization Recommendations. Med. Decis. Making\u00a014(3), 245\u2013254 (1994)","journal-title":"Med. Decis. Making"},{"issue":"5","key":"1_CR15","first-page":"382","volume":"4","author":"R.N. Shiffman","year":"1997","unstructured":"Shiffman, R.N.: Representation of Clinical Practice Guidelines in Conventional and Augmented Decision Tables. Journal of AMIA\u00a04(5), 382\u2013393 (1997)","journal-title":"Journal of AMIA"},{"issue":"3","key":"1_CR16","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0169-2607(98)00090-X","volume":"58","author":"D.W. Miller","year":"1999","unstructured":"Miller, D.W., Frawley, S.J., Miller, P.L.: Using semantic constraints to help verify the completeness of a computer-based clinical guideline for childhood immunization. Computer Methods and Programs in Biomedicine\u00a058(3), 267\u2013280 (1999)","journal-title":"Computer Methods and Programs in Biomedicine"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artmed.2009.09.003","volume":"48","author":"A. Bottrighi","year":"2010","unstructured":"Bottrighi, A., Giordano, L., Molino, G., Montani, S., Terenziani, P., Torchio, M.: Adopting model checking techniques for clinical guidelines verification. Artif. Intell. Med.\u00a048, 1\u201319 (2010)","journal-title":"Artif. Intell. Med."},{"key":"1_CR18","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 Trans. Softw. Eng.\u00a023, 279\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR19","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"issue":"4","key":"1_CR20","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1016\/j.jbi.2010.02.009","volume":"43","author":"B. Prez","year":"2010","unstructured":"Prez, B., Porres, I.: Authoring and verification of clinical guidelines: A model driven approach. Journal of Biomedical Informatics\u00a043(4), 520\u2013536 (2010)","journal-title":"Journal of Biomedical Informatics"},{"volume-title":"The Unified Modeling Language reference manual","year":"1999","key":"1_CR21","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G. (eds.): The Unified Modeling Language reference manual. Addison-Wesley Longman Ltd., Essex (1999)"},{"key":"1_CR22","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)","edition":"2"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11813040_3","volume-title":"FM 2006: Formal Methods","author":"J. Schmitt","year":"2006","unstructured":"Schmitt, J., Hoffmann, A., Balser, M., Reif, W., Marcos, M.: Interactive Verification of Medical Guidelines. In: Misra, J., Nipkow, T., Karakostas, G. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 32\u201347. Springer, Heidelberg (2006)"},{"key":"1_CR24","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11691617_13","volume-title":"Model Checking Software","author":"S. B\u00e4umler","year":"2006","unstructured":"B\u00e4umler, S., Balser, M., Dunets, A., Reif, W., Schmitt, J.: Verification of Medical Guidelines by Model Checking \u2013 A Case Study. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 219\u2013233. Springer, Heidelberg (2006)"},{"key":"1_CR25","unstructured":"Balser, M., Coltell, O., Croonenborg, J.V., Duelli, C., Harmelen, F.V., Jovell, A., Lucas, P., Marcos, M., Miksch, S., Reif, W., Rosenbr, K., Seyfang, A., Teije, A.T.: Protocure: Supporting the development of medical protocols through formal methods. In: SCPG 2004. Studies in Health Technology and Informatics, vol.\u00a0101, pp. 103\u2013108. IOS Press (2004)"},{"key":"1_CR26","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-48257-1_23","volume-title":"Applied Formal Methods - FM-Trends 98","author":"M. Balser","year":"1999","unstructured":"Balser, M., Reif, W., Schellhorn, G., Stenzel, K.: Kiv 3.0 for Provably Correct Systems. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641, pp. 330\u2013337. Springer, Heidelberg (1999)"},{"key":"1_CR27","unstructured":"Balzer, M., Duelli, C., Reif, W.: Formal Semantics of Asbru-An Overview. In: Integrated Design and Process Technology IPDT (2002)"},{"key":"1_CR28","unstructured":"Kosara, R., Miksch, S., Andreas, S.A., Votruba, P.: Tools for acquiring clinical guidelines in asbru (2002)"},{"key":"1_CR29","unstructured":"Seyfang, A., Miksch, S., Marcos, M., Wittenberg, J., Polo-Conde, C., Rosenbrand, K.: Bridging the gap between informal and formal guideline representations. In: 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, pp. 447\u2013451. IOS Press (2006)"},{"key":"1_CR30","series-title":"LNAI","volume-title":"Artificial Intelligence in Medicine","year":"2005","unstructured":"Miksch, S., Hunter, J., Keravnou, E.T. (eds.): AIME 2005. LNCS (LNAI), vol.\u00a03581. Springer, Heidelberg (2005)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Khan, M.G.: Rapid ECG Interpretation. Humana Press (2008)","DOI":"10.1007\/978-1-59745-408-7"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Barold, S.S., Stroobandt, R.X., Sinnaeve, A.F.: Cardiac Pacemakers Step by Step. Futura Publishing (2004) ISBN 1-4051-1647-1","DOI":"10.1002\/9780470750728"},{"key":"1_CR33","unstructured":"Bjorner, D.: Software Engineering 1-2-3. Texts in Theoretical Computer Science. An EATCS Series. Springer (2006)"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D., Henson, M.C. (eds.): Logics of Specification Languages. EATCS Textbook in Computer Science. Springer (2007)","DOI":"10.1007\/978-3-540-74107-7"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Chandy, K.M., Misra, J.: Parallel program design - a foundation. Addison-Wesley (1989)","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"1_CR36","unstructured":"Lamport, L.: Specifying Systems. The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley (2002)"},{"issue":"2","key":"1_CR37","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s002360050116","volume":"35","author":"R.J. Back","year":"1998","unstructured":"Back, R.J., Xu, Q.: Refinement of fair action systems. Acta Inf.\u00a035(2), 131\u2013165 (1998)","journal-title":"Acta Inf."},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Leavens, G.T., Abrial, J.R., Batory, D., Butler, M., Coglio, A., Fisler, K., Hehner, E., Jones, C., Miller, D., Peyton-Jones, S., Sitaraman, M., Smith, D.R., Stump, A.: Roadmap for enhanced languages and methods to aid verification. In: Fifth Intl. Conf. Generative Programming and Component Engineering (GPCE 2006), pp. 221\u2013235. ACM (October 2006)","DOI":"10.1145\/1173706.1173740"},{"key":"1_CR39","unstructured":"Atelier, B.: ClearSy Aix-en-Provence (F), Version 3.6 (2002)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Health Informatics Engineering and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32355-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:04:18Z","timestamp":1558314258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32355-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642323546","9783642323553"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32355-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}