{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:51:55Z","timestamp":1760586715421},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,6,14]],"date-time":"2014-06-14T00:00:00Z","timestamp":1402704000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Comput Sci Res Dev"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s00450-014-0257-9","type":"journal-article","created":{"date-parts":[[2014,6,13]],"date-time":"2014-06-13T19:51:04Z","timestamp":1402689064000},"page":"255-283","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Automata-based refinement checking for real-time systems"],"prefix":"10.1007","volume":"30","author":[{"given":"Christian","family":"Heinzemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Brenner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Dziwok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,6,14]]},"reference":[{"issue":"1\u20133","key":"257_CR1","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/S0304-3975(02)00334-1","volume":"300","author":"L Aceto","year":"2003","unstructured":"Aceto L, Bouyer P, Burgue\u00f1o A, Larsen KG (2003) The power of reachability testing for timed automata. Theor Comput Sci 300(1\u20133):411\u2013475. doi: 10.1016\/s0304-3975(02)00334-1","journal-title":"Theor Comput Sci"},{"key":"257_CR2","doi-asserted-by":"crossref","unstructured":"de Alfaro L, Henzinger TA (2005) Interface-based design. In: Broy M, Gruenbauer J, Harel D, Hoare T (eds) Engineering theories of software intensive systems, vol 195. Springer, Netherlands, NATO Science Series, pp 83\u2013104. doi: 10.1007\/1-4020-3532-2","DOI":"10.1007\/1-4020-3532-2"},{"key":"257_CR3","doi-asserted-by":"crossref","unstructured":"de Alfaro L, Henzinger TA, Stoelinga M (2002) Timed interfaces. In: Sangiovanni-Vincentelli A, Sifakis J (eds) Embedded software, Lecture notes in computer science, vol 2491. Springer, Berlin Heidelberg, pp 108\u2013122. doi: 10.1007\/3-540-45828-x_9","DOI":"10.1007\/3-540-45828-X_9"},{"key":"257_CR4","doi-asserted-by":"crossref","unstructured":"Alur R (1999) Timed automata. In: Halbwachs N, Peled DA (eds) Computer aided verification, lecture notes in computer science, vol 1633. Springer, Berlin Heidelberg, pp 8\u201322. doi: 10.1007\/3-540-48683-6_3","DOI":"10.1007\/3-540-48683-6_3"},{"issue":"2","key":"257_CR5","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. doi: 10.1016\/0304-3975(94)90010-8","journal-title":"Theor Comput Sci"},{"issue":"1","key":"257_CR6","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur R, Courcoubetis C, Dill DL (1993) Model-checking in dense real-time. Inf Comput 104(1):2\u201334. doi: 10.1006\/inco.1993.1024","journal-title":"Inf Comput"},{"key":"257_CR7","doi-asserted-by":"crossref","unstructured":"Alur R, Henzinger TA, Kupferman O, Vardi MY (1998) Alternating refinement relations. In: Sangiorgi D, Simone R (eds) CONCUR\u201998 concurrency theory, lecture notes in computer science, vol 1466. Springer, Berlin Heidelberg, pp 163\u2013178. doi: 10.1007\/bfb0055622","DOI":"10.1007\/BFb0055622"},{"key":"257_CR8","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen JP (2008) Principles of model checking. MIT Press, Cambridge"},{"key":"257_CR9","doi-asserted-by":"crossref","unstructured":"Becker S, Dziwok S, Gerking C, Heinzemann C, Sch\u00e4fer W, Meyer M, Pohlmann U (2014a) The MechatronicUML method\u2013model-driven software engineering of self-adaptive mechatronic systems. In: Proceedings of the 36th international conference on software engineering (posters), ACM, ICSE\u201914, accepted","DOI":"10.1145\/2591062.2591142"},{"key":"257_CR10","unstructured":"Becker S, Dziwok S, Gerking C, Heinzemann C, Thiele S, Sch\u00e4fer W, Meyer M, Pohlmann U, Priesterjahn C, Tichy M (2014b) The MechatronicUML design method\u2014process and language for platform-independent modeling. Tech. Rep. tr-ri-14-337, Heinz Nixdorf Institute, University of Paderborn, version 0.4"},{"key":"257_CR11","doi-asserted-by":"crossref","unstructured":"Behrmann G, David A, Larsen KG (2004) A tutorial on uppaal. In: Bernardo M, Corradini F (eds) Formal methods for the design of real-time systems, no. 3185 in lecture notes in computer science, Springer, Berlin Heidelberg, pp 200\u2013236. doi: 10.1007\/978-3-540-30080-9_7","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"257_CR12","doi-asserted-by":"crossref","unstructured":"Bengtsson J, Yi W (2004) Timed automata: Semantics, algorithms and tools. In: Desel J, Reisig W, Rozenberg G (eds) Lectures on concurrency and petri nets, lecture notes in computer science, vol 3098. Springer, Berlin Heidelberg, pp 87\u2013124. doi: 10.1007\/978-3-540-27755-2_3","DOI":"10.1007\/978-3-540-27755-2_3"},{"issue":"3","key":"257_CR13","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1049\/iet-sen.2009.0011","volume":"4","author":"S Bensalem","year":"2010","unstructured":"Bensalem S, Bozga M, Nguyen TH, Sifakis J (2010) Compositional verification for component-based systems and application. IET Softw 4(3):181\u2013193. doi: 10.1049\/iet-sen.2009.0011","journal-title":"IET Softw"},{"key":"257_CR14","doi-asserted-by":"crossref","unstructured":"Berezin S, Campos S, Clarke EM (1998) Compositional reasoning in model checking. In: Roever WP, Langmaack H, Pnueli A (eds) Compositionality: the significant difference, lecture notes in computer science, vol 1536. Springer, Berlin Heidelberg, pp 81\u2013102. doi: 10.1007\/3-540-49213-5_4","DOI":"10.1007\/3-540-49213-5_4"},{"key":"257_CR15","doi-asserted-by":"crossref","unstructured":"Beyer D (2001) Efficient reachability analysis and refinement checking of timed automata using bdds. In: Margaria T, Melham TF (eds) Correct hardware design and verification methods, lecture notes in computer science, vol 2144. Springer, Berlin Heidelberg, pp 86\u201391. doi: 10.1007\/3-540-44798-9_6","DOI":"10.1007\/3-540-44798-9_6"},{"key":"257_CR16","doi-asserted-by":"crossref","unstructured":"Bojic I, Kusek M (2013) Self-synchronization of nonidentical machines in machine-to-machine systems. In: IEEE 7th international conference on self-adaptive and self-organizing systems, IEEE computer society, SASO\u201913, pp 265\u2013266. doi: 10.1109\/saso.2013.39","DOI":"10.1109\/SASO.2013.39"},{"key":"257_CR17","unstructured":"Brenner C, Heinzemann C, Sch\u00e4fer W, Henkler S (2013) Automata-based refinement checking for real-time systems. In: Proceedings of software engineering 2013\u2014Fachtagung des GI-Fachbereichs Softwaretechnik, Gesellschaft f\u00fcr Informatik e.V., lecture notes in informatics (LNI), vol P-213"},{"key":"257_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and development of interactive systems: focus on streams, interfaces, and refinement","author":"M Broy","year":"2001","unstructured":"Broy M, St\u00f8len K (2001) Specification and development of interactive systems: focus on streams, interfaces, and refinement. Springer, New York"},{"key":"257_CR19","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.entcs.2006.05.019","volume":"160","author":"J Carlson","year":"2006","unstructured":"Carlson J, H\u00e5kansson J, Pettersson P (2006) Saveccm: an analysable component model for real-time systems. Electron Notes Theor Comput Sci 160:127\u2013140. doi: 10.1016\/j.entcs.2006.05.019","journal-title":"Electron Notes Theor Comput Sci"},{"key":"257_CR20","unstructured":"Clarke EM, Grumberg O, Peled DA (2000) Model checking. MIT Press, Cambridge"},{"issue":"2","key":"257_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1348250.1348253","volume":"17","author":"JM Cobleigh","year":"2008","unstructured":"Cobleigh JM, Avrunin GS, Clarke LA (2008) Breaking up is hard to do: an evaluation of automated assume-guarantee reasoning. ACM Trans Softw Eng Methodol (TOSEM) 17(2):1\u201352. doi: 10.1145\/1348250.1348253","journal-title":"ACM Trans Softw Eng Methodol (TOSEM)"},{"key":"257_CR22","doi-asserted-by":"crossref","unstructured":"David A, Larsen KG, Legay A, Nyman U, Andrzey W (2010) Timed I\/O automata: a complete specification theory for real-time systems. In: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, ACM, New York, NY, USA, HSCC \u201910, pp 91\u2013100. doi: 10.1145\/1755952.1755967","DOI":"10.1145\/1755952.1755967"},{"key":"257_CR23","doi-asserted-by":"crossref","unstructured":"Eckardt T, Henkler S (2010) Component behavior synthesis for critical systems. In: Giese H (ed) Architecting critical systems, lecture notes in computer science, vol 6150. Springer, Berlin Heidelberg, pp 52\u201371. doi: 10.1007\/978-3-642-13556-9_4","DOI":"10.1007\/978-3-642-13556-9_4"},{"issue":"1","key":"257_CR24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s00450-011-0184-y","volume":"28","author":"T Eckardt","year":"2013","unstructured":"Eckardt T, Heinzemann C, Henkler S, Hirsch M, Priesterjahn C, Sch\u00e4fer w (2013) Modeling and verifying dynamic communication structures based on graph transformations. Comput Sci Res Dev 28(1):3\u201322. doi: 10.1007\/s00450-011-0184-y (published online)","journal-title":"Comput Sci Res Dev"},{"key":"257_CR25","doi-asserted-by":"crossref","unstructured":"Feng L, Han T, Kwiatkowska M, Parker D (2011) Learning-based compositional verification for synchronous probabilistic systems. In: Bultan T, Hsiung PA (eds) Automated technology for verification and analysis, lecture notes in computer science, vol 6996. Springer, Berlin Heidelberg, pp 511\u2013521. doi: 10.1007\/978-3-642-24372-1_40","DOI":"10.1007\/978-3-642-24372-1_40"},{"key":"257_CR26","unstructured":"Gerking C (2013) Transparent Uppaal-based verification of MechatronicUML models. Master\u2019s thesis, University of Paderborn"},{"key":"257_CR27","doi-asserted-by":"crossref","unstructured":"Gerth R, Peled D, Vardi MY, Wolper P (1996) Simple on-the-fly automatic verification of linear temporal logic. In: Proceedings of the fifteenth IFIP WG6.1 international symposium on protocol specification, testing and verification XV, Chapman & Hall Ltd, London, pp 3\u201318. http:\/\/dl.acm.org\/citation.cfm?id=645837.670574","DOI":"10.1007\/978-0-387-34892-6_1"},{"key":"257_CR28","unstructured":"Giese H (2003) A formal calculus for the compositional pattern-based design of correct real-time systems. Tech. Rep. tr-ri-03-240, Software Engineering Group, University of Paderborn, Paderborn, Deutschland"},{"key":"257_CR29","doi-asserted-by":"crossref","unstructured":"Giese H, Tichy M, Burmester S, Sch\u00e4fer W, Flake S (2003) Towards the compositional verification of real-time uml designs. In: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on foundations of software engineering, ACM Press, ESEC\/FSE\u201903, pp 38\u201347. doi: 10.1145\/940071.940078","DOI":"10.1145\/940071.940078"},{"key":"257_CR30","doi-asserted-by":"crossref","unstructured":"H\u00e5kansson J, Carlson J, Monot A, Pettersson P, Slutej D (2008) Component-based design and analysis of embedded systems with Uppal port. In: Cha S, Choi JY, Kima M, Lee I, Viswanathan M (eds) 6th international symposium on automated technology for verification and analysis, Springer, pp 252\u2013257. doi: 10.1007\/978-3-540-88387-6_23","DOI":"10.1007\/978-3-540-88387-6_23"},{"key":"257_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, let\u2019s play: scenario-based programming using LSC\u2019s and the play-engine","author":"D Harel","year":"2003","unstructured":"Harel D, Marelly R (2003) Come, let\u2019s play: scenario-based programming using LSC\u2019s and the play-engine. Springer, New York"},{"key":"257_CR32","unstructured":"Harhurin A, Hartmann J, Ratiu D (2009) Motivation and formal foundations of a comprehensive modeling theory for embedded systems. Tech. Rep. TUM-I0924, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen"},{"key":"257_CR33","doi-asserted-by":"crossref","unstructured":"Heged\u00fcs \u00c1, Bergmann G, R\u00e1th I, Varr\u00f3 D (2010) Back-annotation of simulation traces with change-driven model transformations. In: Fiadeiro JL, Gnesi S, Maggiolo-Schettini A (eds) SEFM, IEEE computer society, pp 145\u2013155. doi: 10.1109\/SEFM.2010.28","DOI":"10.1109\/SEFM.2010.28"},{"key":"257_CR34","doi-asserted-by":"crossref","unstructured":"Heinzemann C, Henkler S (2011) Reusing dynamic communication protocols in self-adaptive embedded component architectures. In: Proceedings of the 14th international symposium on component based software engineering, ACM, CBSE \u201911, pp 109\u2013118. doi: 10.1145\/2000229.2000246","DOI":"10.1145\/2000229.2000246"},{"key":"257_CR35","unstructured":"Heinzemann C, Brenner C, Dziwok S (2013) Evaluation-models. https:\/\/trac.cs.upb.de\/mechatronicuml\/wiki\/JournalCSRD2013"},{"key":"257_CR36","unstructured":"Henke C, Tichy M, Schneider T, B\u00f6cker J, Sch\u00e4fer W (2008) Organization and control of autonomous railway convoys. In: Proceedings of the 9th international symposium on advanced vehicle control (AVEC \u201908), pp 318\u2013323"},{"key":"257_CR37","doi-asserted-by":"crossref","unstructured":"Hooman J (1997) Verification of distributed real-time and fault-tolerant protocols. In: Johnson M (ed) Algebraic methodology and software technology, lecture notes in computer science, vol 1349. Springer, Berlin Heidelberg, pp 261\u2013275. doi: 10.1007\/BFb0000476","DOI":"10.1007\/BFb0000476"},{"key":"257_CR38","doi-asserted-by":"crossref","unstructured":"Hung PN, Nguyen VH, Aoki T, Katayama T (2010) Assume-guarantee tools for component-based software verification. In: Second international conference on knowledge and systems engineering, IEEE Computer Society, KSE\u201910, pp 172\u2013177. doi: 10.1109\/kse.2010.18","DOI":"10.1109\/KSE.2010.18"},{"key":"257_CR39","doi-asserted-by":"crossref","unstructured":"IEEE (2008) IEEE standard for a precision clock synchronization protocol for networked measurement and control systems. IEEE Std 1588\u20132008 (Revision of IEEE Std 1588\u20132002) pp c1\u2013269. doi: 10.1109\/ieeestd.2008.4579760","DOI":"10.1109\/IEEESTD.2008.4579760"},{"key":"257_CR40","doi-asserted-by":"crossref","unstructured":"Jensen HE, Larsen KG, Skou A (2000) Scaling up uppaal\u2014automatic verification of real-time systems using compositionality and abstraction. In: Mathai J (ed) Formal techniques in real-time and fault-tolerant systems, lecture notes in computer science, vol 1926. Springer, Berlin Heidelberg, pp 19\u201330. doi: 10.1007\/3-540-45352-0_4","DOI":"10.1007\/3-540-45352-0_4"},{"issue":"4","key":"257_CR41","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/52.391832","volume":"12","author":"B Kitchenham","year":"1995","unstructured":"Kitchenham B, Pickard L, Pfleeger SL (1995) Case studies for method and tool evaluation. IEEE Softw 12(4):52\u201362. doi: 10.1109\/52.391832","journal-title":"IEEE Softw"},{"key":"257_CR42","doi-asserted-by":"crossref","unstructured":"Kizza JM (2005) Computer network security. Springer, US","DOI":"10.1007\/b106962"},{"key":"257_CR43","doi-asserted-by":"crossref","unstructured":"Knapp A, Merz S, Rauh C (2002) Model checking timed uml state machines and collaborations. In: Proceedings of the 7th international symposium on formal techniques in real-time and fault-tolerant systems, Springer, FTRTFT \u201902, pp 395\u2013416. doi: 10.1007\/3-540-45739-9_23","DOI":"10.1007\/3-540-45739-9_23"},{"key":"257_CR44","volume-title":"Real-time systems: design principles for distributed embedded applications","author":"H Kopetz","year":"1997","unstructured":"Kopetz H (1997) Real-time systems: design principles for distributed embedded applications, 1st edn. Kluwer Academic Publishers, Boston, Dordrecht, London","edition":"1"},{"issue":"2\u20133","key":"257_CR45","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/s10703-010-0103-z","volume":"37","author":"S Li","year":"2010","unstructured":"Li S, Balaguer S, David A, Larsen KG, Nielsen B, Pusinskas S (2010) Scenario-based verification of real-time systems using uppaal. Form Methods Syst Des 37(2\u20133):200\u2013264. doi: 10.1007\/s10703-010-0103-z","journal-title":"Form Methods Syst Des"},{"key":"257_CR46","unstructured":"Object Management Group (2011) Unified modeling language (UML) 2.4.1 superstructure specification. Document formal\/2011-08-06"},{"key":"257_CR47","doi-asserted-by":"crossref","unstructured":"Pohlmann U (2013) Safe deployment for reconfigurable cyber-physical systems. In: Proceedings of the 18th international doctoral symposium on components and architecture, ACM, New York, NY, USA, WCOP \u201913, pp 31\u201336. doi: 10.1145\/2465498.2465503","DOI":"10.1145\/2465498.2465503"},{"key":"257_CR48","doi-asserted-by":"crossref","unstructured":"Priesterjahn C, Tichy M, Henkler S, Hirsch M, Sch\u00e4fer W (2010) Fujaba4eclipse real-time tool suite. In: Giese H, Karsai G, Lee EA, Rumpe B, Sch\u00e4tz B (eds) Model-based engineering of embedded real-time systems (MBEERTS), lecture notes in computer science, vol 6100. Springer, Berlin Heidelberg, chap 12, pp 309\u2013315. doi: 10.1007\/978-3-642-16277-0_12","DOI":"10.1007\/978-3-642-16277-0_12"},{"key":"257_CR49","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/j.entcs.2008.06.013","volume":"214","author":"S Reeves","year":"2008","unstructured":"Reeves S, Streader D (2008) General refinement, part one: interfaces, determinism and special refinement. Electron Notes Theor Comput Sci 214:277\u2013307. doi: 10.1016\/j.entcs.2008.06.013","journal-title":"Electron Notes Theor Comput Sci"},{"key":"257_CR50","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.entcs.2008.06.014","volume":"214","author":"S Reeves","year":"2008","unstructured":"Reeves S, Streader D (2008) General refinement, part two: flexible refinement. Electron Notes Theor Comput Sci 214:309\u2013329. doi: 10.1016\/j.entcs.2008.06.014","journal-title":"Electron Notes Theor Comput Sci"},{"key":"257_CR51","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer W, Wehrheim H (2007) The challenges of building advanced mechatronic systems. In: future of software engineering, IEEE computer society, FOSE \u201907, pp 72\u201384. doi: 10.1109\/FOSE.2007.28","DOI":"10.1109\/FOSE.2007.28"},{"issue":"7","key":"257_CR52","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s002360050095","volume":"34","author":"R Stephens","year":"1997","unstructured":"Stephens R (1997) A survey of stream processing. Acta Informatica 34(7):491\u2013541. doi: 10.1007\/s002360050095","journal-title":"Acta Informatica"},{"key":"257_CR53","doi-asserted-by":"crossref","unstructured":"Sylla M, Stomp F, de Roever WP (2005) Verifying parameterized refinement. In: Proceedings of the 10th IEEE international conference on engineering of complex computer systems, IEEE computer society, ICECCS 2005, pp 313\u2013321. doi: 10.1109\/iceccs.2005.82","DOI":"10.1109\/ICECCS.2005.82"},{"key":"257_CR54","unstructured":"Szyperski C, Gruntz D, Murer S (2002) Component software\u2014beyond object-oriented programming, 2nd edn. Addison-Wesley, Boston, MA, USA"},{"issue":"3","key":"257_CR55","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1507244.1507245","volume":"10","author":"S Tripakis","year":"2009","unstructured":"Tripakis S (2009) Checking timed b\u00fcchi automata emptiness on simulation graphs. ACM Trans Comput Logic (TOCL) 10(3):1\u201319. doi: 10.1145\/1507244.1507245","journal-title":"ACM Trans Comput Logic (TOCL)"},{"key":"257_CR56","doi-asserted-by":"crossref","unstructured":"Weise C, Lenzkes D (1997) Efficient scaling-invariant checking of timed bisimulation. In: Reischuk R, Morvan M (eds) Proceedings of the 14th annual symposium on theoretical aspects of computer science (STACS \u201997), lecture notes in computer science, vol 1200. Springer, Berlin Heidelberg, pp 177\u2013188. doi: 10.1007\/BFb0023458","DOI":"10.1007\/BFb0023458"},{"key":"257_CR57","doi-asserted-by":"crossref","unstructured":"Xing J, Theelen B, Langerak R, van de Pol J, Tretmans J, Voeten J (2010) From POOSL to Uppal. In: Gomes L, Khomenko V, Fernandes J (eds) Tenth international conference on application of concurrency to system design, IEEE Computer Society Press, pp 47\u201356. doi: 10.1109\/ACSD.2010.21","DOI":"10.1109\/ACSD.2010.21"}],"container-title":["Computer Science - Research and Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-014-0257-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-014-0257-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-014-0257-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,21]],"date-time":"2020-08-21T00:28:14Z","timestamp":1597969694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-014-0257-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,14]]},"references-count":57,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["257"],"URL":"https:\/\/doi.org\/10.1007\/s00450-014-0257-9","relation":{},"ISSN":["1865-2034","1865-2042"],"issn-type":[{"value":"1865-2034","type":"print"},{"value":"1865-2042","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,6,14]]}}}