{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:07:51Z","timestamp":1746158871036,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642539558"},{"type":"electronic","value":"9783642539565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-53956-5_13","type":"book-chapter","created":{"date-parts":[[2014,1,9]],"date-time":"2014-01-09T02:14:35Z","timestamp":1389233675000},"page":"188-198","source":"Crossref","is-referenced-by-count":10,"title":["OR.NET: Safe Interconnection of Medical Devices"],"prefix":"10.1007","author":[{"given":"Franziska","family":"K\u00fchn","sequence":"first","affiliation":[]},{"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Association for the Advancement of Medical Instrumentation: Medical Device Interoperability (AAMI MDI\/March 30, 2013) (2013)"},{"key":"13_CR2","unstructured":"Turnitsa, C.D.: Extending the Levels of Conceptual Interoperability Model. In: Proceedings IEEE 2005 Summer Computer Simulation Conference, IEEE CSP (2005)"},{"key":"13_CR3","unstructured":"C4ISR Architecture Working Group: Levels of Information Systems Interoperability, LISI (1998)"},{"key":"13_CR4","unstructured":"National Committee on Vital and Health Statistics (NCVHS): Report on Uniform Data Standards for Patient Medical Record Information (2000)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., King, A.L., Lee, I., Macdonald, A., Fernando, A., Robkin, M., Vasserman, E.Y., Weininger, S., Goldman, J.M.: Rationale and architecture principles for medical application platforms. In: IEEE ICCPS, pp. 3\u201312 (2012)","DOI":"10.1109\/ICCPS.2012.9"},{"key":"13_CR6","unstructured":"Council Directive 93\/42\/EEC of 14 June 1993 concerning medical devices. OJ L 169 (July 12, 1993)"},{"key":"13_CR7","unstructured":"Directive 98\/79\/EC of the European Parliament and of the Council of 27 Oct 1998 on in vitro diagnostic medical devices. OJ L 331 (July 12,1998)"},{"key":"13_CR8","unstructured":"Council Directive 90\/385\/EEC of 20 June 1990 on the approximation of the laws of the Member States relating to active implantable medical devices. OJ No L 189 (July 20, 1990)"},{"key":"13_CR9","unstructured":"Johner, C., H\u00f6lzer-Kl\u00fcpfel, M., Wittorf, S.: Basiswissen Medizinische Software: Aus- und Weiterbildung zum Certified Professional for Medical Software. Dpunkt (2011)"},{"key":"13_CR10","unstructured":"Medical devices - Quality management systems - Requirements for regulatory purposes (EN ISO 13485:2003)"},{"key":"13_CR11","unstructured":"Medical devices - Application of risk management to medical devices (ISO 14971) (2007), Corrected version (January 10, 2007)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Medical device software - Software life-cycle processes (IEC 62304) (2006)","DOI":"10.1049\/ic:20060141"},{"key":"13_CR13","unstructured":"Medical devices - Application of usability engineering to medical devices (IEC 62366) (2007)"},{"key":"13_CR14","unstructured":"Medical electrical equipment \u2013 Part 1-6: General requirements for basic safety and essential performance - Collateral standard: Usability (IEC 60601-1-6) (2010)"},{"key":"13_CR15","unstructured":"Application of risk management for IT-networks incorporating medical devices - Part 1: Roles, responsibilities and activities (IEC 80001-1) (2010)"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC \/ SIGSOFT FSE, pp. 109\u2013120. ACM (2001)","DOI":"10.1145\/503271.503226"},{"key":"13_CR17","unstructured":"Masson, B., H\u00e9lou\u00ebt, L., Benveniste, A.: Compatibility between DAXML Schemas (March 2011)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"King, A.L., Feng, L., Sokolsky, O., Lee, I.: A modal specification approach for on-demand medical systems. In: Preproceedings of FHIES (2013)","DOI":"10.1007\/978-3-642-53956-5_14"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/3-540-58184-7_118","volume-title":"PARLE \u201994 Parallel Architectures and Languages Europe","author":"K. Takeuchi","year":"1994","unstructured":"Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol.\u00a0817, pp. 398\u2013413. Springer, Heidelberg (1994)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS 1977), pp. 46\u201357. IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"13_CR21","unstructured":"Raskin, J.F.: Logics, Automata and Classical theories for Deciding Real Time. Th\u00e8se de doctorat, FUNDP, Namur, Belgium (June 1999)"},{"issue":"5","key":"13_CR22","first-page":"293","volume":"78","author":"M. Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. JLAP\u00a078(5), 293\u2013303 (2009)","journal-title":"JLAP"},{"key":"13_CR23","unstructured":"K\u00fchn, F.: Pink states for runtime verification. Master\u2019s thesis, Univ. of L\u00fcbeck (2013)"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-35632-2_10","volume-title":"Runtime Verification","author":"M. Leucker","year":"2013","unstructured":"Leucker, M.: Sliding between model checking and runtime verification. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol.\u00a07687, pp. 82\u201387. Springer, Heidelberg (2013)"},{"key":"13_CR25","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition\u00a05, 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-642-40561-7_19","volume-title":"Software Engineering and Formal Methods","author":"A. Bennaceur","year":"2013","unstructured":"Bennaceur, A., Chilton, C., Isberner, M., Jonsson, B.: Automated mediator synthesis: Combining behavioural and ontological reasoning. In: Hierons, R.M., Merayo, M.G., Bravetti, M. (eds.) SEFM 2013. LNCS, vol.\u00a08137, pp. 274\u2013288. Springer, Heidelberg (2013)"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Leucker, M.: Checking and enforcing safety: Runtime verification and runtime reflection. ERCIM News 2008(75) (2008)","DOI":"10.1007\/978-3-540-89247-2"},{"issue":"6","key":"13_CR28","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/MSP.2012.153","volume":"10","author":"E.Y. Vasserman","year":"2012","unstructured":"Vasserman, E.Y., Venkatasubramanian, K.K., Sokolsky, O., Lee, I.: Security and interoperable-medical-device systems, part 2: Failures, consequences, and classification. IEEE Security & Privacy\u00a010(6), 70\u201373 (2012)","journal-title":"IEEE Security & Privacy"}],"container-title":["Lecture Notes in Computer Science","Foundations of Health Information Engineering and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-53956-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T12:13:47Z","timestamp":1746101627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-53956-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642539558","9783642539565"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-53956-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}