{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:28:23Z","timestamp":1725805703665},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452301"},{"type":"electronic","value":"9783662452318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45231-8_29","type":"book-chapter","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T11:42:39Z","timestamp":1411731759000},"page":"387-390","source":"Crossref","is-referenced-by-count":1,"title":["Challenges for the Dynamic Interconnection of Medical Devices"],"prefix":"10.1007","author":[{"given":"Martin","family":"Leucker","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"Directive 93\/42\/EEC: Council Directive 93\/42\/EEC of 14 June 1993 concerning medical devices, OJ L 169 of 12 July 1993"},{"key":"29_CR2","unstructured":"Directive 98\/79\/EC: Directive 98\/79\/EC of the European Parliament and of the Council of 27 October 1998 on in vitro diagnostic medical devices, OJ L 331 of 7 December 1998"},{"key":"29_CR3","unstructured":"Directive 90\/385\/EEC: 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 of 20 July 1990"},{"key":"29_CR4","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":"29_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-53956-5_13","volume-title":"Foundations of Health Information Engineering and Systems","author":"F. K\u00fchn","year":"2014","unstructured":"K\u00fchn, F., Leucker, M.: Or.net: Safe interconnection of medical devices - (position paper). In: Gibbons, J., MacCaull, W. (eds.) FHIES 2013. LNCS, vol.\u00a08315, pp. 188\u2013198. Springer, Heidelberg (2014)"},{"key":"29_CR6","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"},{"issue":"5","key":"29_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M. Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. Journal of Logic and Algebraic Programming\u00a078(5), 293\u2013303 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"29_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/3-540-45657-0_35","volume-title":"Computer Aided Verification","author":"A. Chakrabarti","year":"2002","unstructured":"Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Jurdzi\u0144ski, M., Mang, F.Y.C.: Interface compatibility checking for software modules. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 428\u2013441. Springer, Heidelberg (2002)"},{"key":"29_CR9","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":"29_CR10","doi-asserted-by":"crossref","unstructured":"Leucker, M.: Checking and enforcing safety: Runtime verification and runtime reflection. ERCIM News\u00a02008(75) (2008)","DOI":"10.1007\/978-3-540-89247-2"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45231-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:13:48Z","timestamp":1558988028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45231-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452301","9783662452318"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45231-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}