{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T16:01:56Z","timestamp":1768406516878,"version":"3.49.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,7,4]],"date-time":"2013-07-04T00:00:00Z","timestamp":1372896000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J CARS"],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1007\/s11548-013-0919-2","type":"journal-article","created":{"date-parts":[[2013,7,3]],"date-time":"2013-07-03T07:28:47Z","timestamp":1372836527000},"page":"145-153","source":"Crossref","is-referenced-by-count":14,"title":["Formal verification of software-based medical devices considering medical guidelines"],"prefix":"10.1007","volume":"9","author":[{"given":"Zamira","family":"Daw","sequence":"first","affiliation":[]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[]},{"given":"Marcus","family":"Vetter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,7,4]]},"reference":[{"key":"919_CR1","unstructured":"Health IT and Patient Safety (2012) Building safer systems for better care. Committee on patient safety and health information technology, Institute of Medicine"},{"key":"919_CR2","unstructured":"Lee EA (2006) The problem with threads. Technical report, EECS Department, University of California, Berkeley"},{"key":"919_CR3","volume-title":"Principles of model checking (representation and mind series)","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen JP (2008) Principles of model checking (representation and mind series). MIT Press, Cambridge, MA"},{"key":"919_CR4","doi-asserted-by":"crossref","unstructured":"Pazzi L, Pradelli M (2008) A state-based systemic view of behavior for safe medical computer applications. In: Proceedings of the 2008 21st IEEE international symposium on computer-based medical systems, CBMS \u201908. IEEE Computer Society, Washington, DC, USA, pp 108\u2013113. doi: 10.1109\/CBMS.2008.94","DOI":"10.1109\/CBMS.2008.94"},{"key":"919_CR5","doi-asserted-by":"crossref","unstructured":"P\u00e9rez B, Porres I (2008) Verification of clinical guidelines by model checking. In: Proceedings of the 2008 21st IEEE international symposium on computer-based medical systems, CBMS \u201908. IEEE Computer Society, Washington, DC, USA, pp 114\u2013119. doi: 10.1109\/CBMS.2008.86","DOI":"10.1109\/CBMS.2008.86"},{"key":"919_CR6","doi-asserted-by":"crossref","unstructured":"Holzmann CJ (1997) The model checker SPIN. IEEE Trans Softw Eng 23:279\u2013295","DOI":"10.1109\/32.588521"},{"key":"919_CR7","doi-asserted-by":"crossref","unstructured":"Maruster L, Jorna RJ (2005) From data to knowledge: a method for modeling hospital logistic processes. IEEE Trans Inf Technol Biomed 9(2):248\u2013255. http:\/\/dblp.uni-trier.de\/db\/journals\/titb\/titb9.html\/MarusterJ05","DOI":"10.1109\/TITB.2005.847194"},{"key":"919_CR8","doi-asserted-by":"crossref","unstructured":"Hoare CAR (1983) Communicating sequential processes. Commun ACM 26:100\u2013106","DOI":"10.1145\/357980.358021"},{"key":"919_CR9","volume-title":"SEHC 2012","author":"J Faber","year":"2012","unstructured":"Faber J (2012) A timed model for healthcare workflows based on csp. In: Breu R, Hatcliff J (eds) SEHC 2012. IEEE, Zurich. doi: 10.1109\/SEHC.2012.6227002"},{"key":"919_CR10","unstructured":"Systems F (2012) Failure divergence refinement (fdr). http:\/\/www.fsel.com\/"},{"key":"919_CR11","unstructured":"Pajic M, Mangharam R, Sokolsky O, David Arney JMG, Lee I (2011) IEEE transactions of industrial informatics (TII), Special section on cyber-physical systems (submitted)"},{"key":"919_CR12","doi-asserted-by":"crossref","unstructured":"Behrmann G, David R, Larsen KG (2004) A tutorial on UPPAAL. Springer, Berlin, pp 200\u2013236. http:\/\/www.uppaal.org\/","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"919_CR13","unstructured":"Daw Z, Vetter M (2009) Deterministic UML models with interconnected activities and state machines for embedded systems. In: Model driven engineering languages and systems, 12th international conference, MODELS 2009"},{"key":"919_CR14","unstructured":"Daw Z, Englert C, Alvarez F, Boercsoek J, Vetter M (2011) Model-driven timing analysis and verification for safety-critical embedded systems. In: Proceedings of the 24th international congress on condition monitoring and diagnostics, engineering management"},{"issue":"2","key":"919_CR15","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"key":"919_CR16","doi-asserted-by":"crossref","unstructured":"Emerson EA, Sistla AP (1984) Deciding branching time logic. In: Proceedings of the sixteenth annual ACM symposium on theory of computing, STOC \u201984. ACM, New York, NY, USA, pp 14\u201324. doi: 10.1145\/800057.808661","DOI":"10.1145\/800057.808661"}],"container-title":["International Journal of Computer Assisted Radiology and Surgery"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11548-013-0919-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11548-013-0919-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11548-013-0919-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,17]],"date-time":"2019-07-17T00:14:17Z","timestamp":1563322457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11548-013-0919-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,4]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,1]]}},"alternative-id":["919"],"URL":"https:\/\/doi.org\/10.1007\/s11548-013-0919-2","relation":{},"ISSN":["1861-6410","1861-6429"],"issn-type":[{"value":"1861-6410","type":"print"},{"value":"1861-6429","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,4]]}}}