{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T15:28:42Z","timestamp":1784215722813,"version":"3.55.0"},"reference-count":71,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,3,15]],"date-time":"2016-03-15T00:00:00Z","timestamp":1458000000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,3,15]],"date-time":"2016-03-15T00:00:00Z","timestamp":1458000000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1138860"],"award-info":[{"award-number":["CCF-1138860"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s10626-015-0223-0","type":"journal-article","created":{"date-parts":[[2016,3,18]],"date-time":"2016-03-18T17:16:21Z","timestamp":1458321381000},"page":"209-260","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":54,"title":["Supervisory control and reactive synthesis: a comparative introduction"],"prefix":"10.1007","volume":"27","author":[{"given":"R\u00fcdiger","family":"Ehlers","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Moshe Y.","family":"Vardi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,3,15]]},"reference":[{"key":"223_CR1","unstructured":"Abadi M, Lamport L, Wolper P (1989) Realizable and unrealizable concurrent program specifications. In: Proceedings of the 25th International Colloq. on Automata, Languages, and Programming, volume 372 of Lecture Notes in Computer Science. Springer, pp 1\u201317"},{"key":"223_CR2","doi-asserted-by":"crossref","unstructured":"Asarin E, Maler O, Pnueli A (1995) Symbolic controller synthesis for discrete and timed systems. In: Hybrid Systems II","DOI":"10.1007\/3-540-60472-3_1"},{"issue":"1","key":"223_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0304-3975(02)00442-5","volume":"303","author":"A Arnold","year":"2003","unstructured":"Arnold A, Vincent A, Walukiewicz I (2003) Games for synthesis of controllers with partial observation. Theor Comput Sci 303(1):7\u201334","journal-title":"Theor Comput Sci"},{"key":"223_CR4","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"JR B\u00fcchi","year":"1969","unstructured":"B\u00fcchi JR, Landweber LH (1969) Solving sequential conditions by finite-state strategies. Trans. AMS 138:295\u2013311","journal-title":"Trans. AMS"},{"key":"223_CR5","unstructured":"Barrett G, Lafortune S (1998) On the synthesis of communicating controllers with decentralized information structures for discrete-event systems. In: IEEE Conference on Decision and Control"},{"key":"223_CR6","doi-asserted-by":"crossref","unstructured":"Clarke EM, Emerson EA (1981) Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proceedings Workshop on Logic of Programs, volume 131 of Lecture Notes in Computer Science, pp 52\u201371. Springer","DOI":"10.1007\/BFb0025774"},{"issue":"2","key":"223_CR7","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke EM, Emerson EA, Sistla AP (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst 8(2):244\u2013263","journal-title":"ACM Trans Program Lang Syst"},{"key":"223_CR8","unstructured":"Clarke E, Grumberg O, Peled D (2000) Model Checking. MIT Press"},{"key":"223_CR9","doi-asserted-by":"crossref","unstructured":"Cassez F, Henzinger T, Raskin J-F (2002) A Comparison of Control Problems for Timed and Hybrid Systems. In: HSCC\u201902, volume 2289 of LNCS. Springer-Verlag","DOI":"10.1007\/3-540-45873-5_13"},{"key":"223_CR10","unstructured":"Church A (1957) Applicaton of recursive arithmetics to the problem of circuit synthesis. In: Summaries of Talks Presented at The Summer Institute for Symbolic Logic, 3\u201350. Communications Research Division, Institute for Defense Analysis"},{"key":"223_CR11","unstructured":"Church A (1963) Logic, arithmetic and automata. In: Proceedings of the International Congress of Mathematics"},{"key":"223_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to Discrete Event Systems, 2nd. Springer, Boston","edition":"2nd"},{"key":"223_CR13","doi-asserted-by":"crossref","unstructured":"Dill DL (1989) Trace theory for automatic hierarchical verification of speed independent circuits. MIT Press","DOI":"10.7551\/mitpress\/6874.001.0001"},{"issue":"4","key":"223_CR14","first-page":"375","volume":"15","author":"MH de Queiroz","year":"2005","unstructured":"de Queiroz MH, Cury JER, Wonham WM (2005) Multitasking supervisory control of discrete-event systems. Discrete Event Dynamic Systems. Theory Appl 15 (4):375\u2013395","journal-title":"Theory Appl"},{"key":"223_CR15","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"EA Emerson","year":"1982","unstructured":"Emerson EA, Clarke EM (1982) Using branching time logic to synthesize synchronization skeletons. Sci Comput Program 2:241\u2013266","journal-title":"Sci Comput Program"},{"issue":"1","key":"223_CR16","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"EA Emerson","year":"1986","unstructured":"Emerson EA, Halpern JY (1986) Sometimes and Not Never revisited: on branching versus linear time temporal logic. J. ACM 33(1):151\u2013178","journal-title":"J. ACM"},{"key":"223_CR17","unstructured":"Ehlers R (2013) Symmetric and Efficient Synthesis. PhD thesis, Universit\u00e4t des Saarlandes"},{"key":"223_CR18","doi-asserted-by":"crossref","unstructured":"Ehlers R, Lafortune S, Tripakis S, Vardi M (2014) Bridging the gap between supervisory control and reactive synthesis: Case of full observation and centralized control. In: Proceedings of the 12th International Workshop on Discrete Event Systems (WODES 2014)","DOI":"10.3182\/20140514-3-FR-4046.00018"},{"key":"223_CR19","unstructured":"Francez N (1992) Program verification. Int. Computer Science. Addison-Weflay"},{"key":"223_CR20","doi-asserted-by":"crossref","unstructured":"Green CC (1969) Application of theorem proving to problem solving. In: 1st International Joint Conference on Artificial Intelligence, pp 219\u2013240","DOI":"10.21236\/ADA459656"},{"key":"223_CR21","doi-asserted-by":"crossref","unstructured":"Henzinger T, Kopke P (1997) Discrete-time control for rectangular hybrid automata. In: ICALP \u201997","DOI":"10.1007\/3-540-63165-8_213"},{"key":"223_CR22","doi-asserted-by":"crossref","unstructured":"Harel D, Marelly R (2003) Come, Let\u2019s Play. Springer","DOI":"10.1007\/978-3-642-19029-2"},{"key":"223_CR23","doi-asserted-by":"crossref","unstructured":"Harel D, Pnueli A (1985) On the development of reactive systems. In: Apt K (ed) Logics and Models of Concurrent Systems, volume F-13 of NATO Advanced Summer Institutes. Springer, pp 477\u2013498","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"223_CR24","doi-asserted-by":"crossref","unstructured":"Hoffmann G, Wong Toi H (1992) Symbolic synthesis of supervisory controllers. In: American Control Conference","DOI":"10.23919\/ACC.1992.4792651"},{"issue":"4","key":"223_CR25","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1498765.1498787","volume":"52","author":"D Jackson","year":"2009","unstructured":"Jackson D (2009) A direct path to dependable software. Commun. ACM 52 (4):78\u201388","journal-title":"Commun. ACM"},{"issue":"6","key":"223_CR26","doi-asserted-by":"publisher","first-page":"2079","DOI":"10.1137\/S0363012902409982","volume":"44","author":"S Jiang","year":"2006","unstructured":"Jiang S, Kumar R (2006) Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications. SIAM J Control Optim 44(6):2079\u20132103","journal-title":"SIAM J Control Optim"},{"key":"223_CR27","doi-asserted-by":"crossref","unstructured":"Kress-Gazit H, Fainekos GE, Pappas GJ (2007) Where\u2019s waldo? Sensor-based temporal logic motion planning. In: IEEE International Conference on Robotics and Automation, ICRA, pp 3116\u2013 3121","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"223_CR28","doi-asserted-by":"crossref","unstructured":"Kumar R, Garg VK (1995) Modeling and control of logical discrete event systems. Kluwer Academic Publishers","DOI":"10.1007\/978-1-4615-2217-1"},{"issue":"12","key":"223_CR29","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1109\/9.182487","volume":"37","author":"R Kumar","year":"1992","unstructured":"Kumar R, Garg V, Marcus SI (1992) On supervisory control of sequential behaviors. IEEE Trans Autom Control 37(12):1978\u20131985","journal-title":"IEEE Trans Autom Control"},{"key":"223_CR30","doi-asserted-by":"crossref","unstructured":"Kupferman O, Madhusudan P, Thiagarajan PS, Vardi MY (2000) Open systems in reactive environments: Control and synthesis. In: 11th International Conference on Concurrency Theory, CONCUR\u201900. Springer, pp 92\u2013107","DOI":"10.1007\/3-540-44618-4_9"},{"issue":"2","key":"223_CR31","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.automatica.2011.07.008","volume":"48","author":"J Komenda","year":"2012","unstructured":"Komenda J, Masopust T, van Schuppen JH (2012) Supervisory control synthesis of discrete-event systems using a coordination scheme. Automatica 48(2):247\u2013254","journal-title":"Automatica"},{"key":"223_CR32","doi-asserted-by":"crossref","unstructured":"Kupferman O, Vardi M (1996) Module checking. In: Alur R, Henzinger T (eds) Computer Aided Verification, volume 1102 of LNCS. Springer, pp 75\u201386","DOI":"10.1007\/3-540-61474-5_59"},{"key":"223_CR33","doi-asserted-by":"crossref","unstructured":"Kupferman O, Vardi M (1999) Church\u2019s problem revisited. Bull Symb Log 5 (2)","DOI":"10.2307\/421091"},{"key":"223_CR34","doi-asserted-by":"crossref","unstructured":"Kupferman O, Vardi MY (2000) Synthesis with incomplete information. Advances in Temporal Logic, pp 109\u2013127. Kluwer Academic Publishers","DOI":"10.1007\/978-94-015-9586-5_6"},{"key":"223_CR35","first-page":"341","volume":"9","author":"F Lin","year":"1993","unstructured":"Lin F (1993) Analysis and synthesis of discrete event systems using temporal logic. Control Theory Adv Technol 9:341\u2013350","journal-title":"Control Theory Adv Technol"},{"key":"223_CR36","doi-asserted-by":"crossref","unstructured":"Lichtenstein O, Pnueli A (1985) Checking that finite state concurrent programs satisfy their linear specification. In: Proceedings 12th ACM Symposium on Principles of Programming Languages, pp 97\u2013107","DOI":"10.1145\/318593.318622"},{"key":"223_CR37","doi-asserted-by":"crossref","unstructured":"Lamouchi H, Thistle J (2000) Effective control synthesis for DES under partial observations. In: 39th IEEE Conference on Decision and Control, pp 22\u201328","DOI":"10.1109\/CDC.2000.912726"},{"key":"223_CR38","doi-asserted-by":"crossref","unstructured":"Lustig Y, Vardi M (2009) Synthesis from component libraries, Foundations of Software Science and Computational Structures, pp 395\u2013409","DOI":"10.1007\/978-3-642-00596-1_28"},{"key":"223_CR39","unstructured":"Madhusudan P (2001) Control and Synthesis of Open Reactive Systems. PhD thesis, University of Madras"},{"key":"223_CR40","doi-asserted-by":"crossref","unstructured":"Maler O, Pnueli A, Sifakis J (1995) On the synthesis of discrete controllers for timed systems. In: STACS \u201995","DOI":"10.1007\/3-540-59042-0_76"},{"key":"223_CR41","doi-asserted-by":"crossref","unstructured":"Manna Z, Wolper P (1984) Synthesis of communicating processes from temporal logic specifications. ACM TOPLAS 6(1)","DOI":"10.1145\/357233.357237"},{"issue":"2","key":"223_CR42","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1137\/S0363012997321139","volume":"39","author":"A Overkamp","year":"2000","unstructured":"Overkamp A, van Schuppen JH (2000) Maximal solutions in decentralized supervisory control. SIAM J Control Optim 39(2):492\u2013511","journal-title":"SIAM J Control Optim"},{"key":"223_CR43","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. In: Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pp 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"223_CR44","unstructured":"Piterman N, Pnueli A, Saar Y (2006) Synthesis of reactive(1) designs. In: Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, volume 3855 of Lecture Notes in Computer Science. Springer, pp 364\u2013380"},{"key":"223_CR45","doi-asserted-by":"crossref","unstructured":"Pnueli A, Rosner R (1989a) On the synthesis of a reactive module. In: ACM Symposium POPL","DOI":"10.1145\/75277.75293"},{"key":"223_CR46","doi-asserted-by":"crossref","unstructured":"Pnueli A, Rosner R (1989b) On the synthesis of an asynchronous reactive module. In: Proceedings of the 16th International Colloq. on Automata, Languages, and Programming, volume 372 of Lecture Notes in Computer Science. Springer, pp 652\u2013671","DOI":"10.1007\/BFb0035790"},{"key":"223_CR47","doi-asserted-by":"crossref","unstructured":"Pnueli A, Rosner R (1990) Distributed reactive systems are hard to synthesize. In: Proceedings of the 31th IEEE Symposium on Foundations of Computer Science, pp 746\u2013757","DOI":"10.1109\/FSCS.1990.89597"},{"key":"223_CR48","doi-asserted-by":"crossref","unstructured":"Pinchinat S, Riedweg S (2005) You can always compute maximally permissive controllers under partial observation when they exist. In: Proceedings of the 2005 American Control Conference, pp 2287\u20132292","DOI":"10.1109\/ACC.2005.1470310"},{"key":"223_CR49","unstructured":"Queille JP, Sifakis J (1982) Specification and verification of concurrent systems in Cesar. In: Proceedings of the 8th ACM Symposium on Principles of Programming Languages, volume 137 of Lecture Notes in Computer Science. Springer, pp 337\u2013351"},{"key":"223_CR50","doi-asserted-by":"crossref","unstructured":"Rabin MO (1972) Automata on infinite objects and Church\u2019s problem. Amer. Mathematical Society","DOI":"10.1090\/cbms\/013"},{"issue":"1","key":"223_CR51","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/9.8645","volume":"34","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge PJ (1989) Some tractable supervisory control problems for discrete-event systems modeled by B\u00fcchi automata. IEEE Trans Autom Control 34(1):10\u201319","journal-title":"IEEE Trans Autom Control"},{"key":"223_CR52","doi-asserted-by":"crossref","unstructured":"Riedweg S, Pinchinat S (2003) Quantified mu-calculus for control synthesis. In: Rovan B, Vojas P (eds) Mathematical Foundations of Computer Science 2003, volume 2747 of Lecture Notes in Computer Science. Springer, Berlin, pp 642\u2013651","DOI":"10.1007\/978-3-540-45138-9_58"},{"key":"223_CR53","doi-asserted-by":"crossref","unstructured":"Riedweg S, Pinchinat S (2004) Maximally permissive controllers in all contexts. In: Proceedings of the 2004 International Workshop on Discrete Event Systems","DOI":"10.1016\/S1474-6670(17)30758-9"},{"issue":"9","key":"223_CR54","doi-asserted-by":"publisher","first-page":"1656","DOI":"10.1109\/9.880616","volume":"45","author":"SL Ricker","year":"2000","unstructured":"Ricker SL, Rudie K (2000) Know means no: Incorporating knowledge into discrete-event control systems. IEEE Trans Autom Control 45(9):1656\u20131668","journal-title":"IEEE Trans Autom Control"},{"issue":"1","key":"223_CR55","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P Ramadge","year":"1987","unstructured":"Ramadge P, Wonham W (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"key":"223_CR56","doi-asserted-by":"crossref","unstructured":"Ramadge P, Wonham W (1989) The control of discrete event systems, In: Proceedings of the IEEE","DOI":"10.1109\/5.21072"},{"key":"223_CR57","doi-asserted-by":"crossref","unstructured":"Rudie K, Wonham W (1992) Think globally, act locally: Decentralized supervisory control. IEEE Trans Autom Control:37","DOI":"10.1109\/9.173140"},{"key":"223_CR58","doi-asserted-by":"crossref","unstructured":"Seatzu C, Silva M, van Schuppen J (eds) (2013) Control of Discrete Event Systems. Automata and Petri Net Perspectives. Springer","DOI":"10.1007\/978-1-4471-4276-8"},{"issue":"4","key":"223_CR59","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BF01439153","volume":"5","author":"JG Thistle","year":"1995","unstructured":"Thistle JG (1995) On control of systems modelled as deterministic Rabin automata. Discrete Event Dynamic Systems 5(4):357\u2013381","journal-title":"Discrete Event Dynamic Systems"},{"issue":"11\/12","key":"223_CR60","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0895-7177(96)00063-5","volume":"23","author":"JG Thistle","year":"1996","unstructured":"Thistle JG (1996) Supervisory control of discrete event systems. Mathl Comput Modelling 23(11\/12):25\u201353","journal-title":"Mathl Comput Modelling"},{"key":"223_CR61","unstructured":"Thistle JG, Malham\u00e9 RP (1998) Control of omega-automata under state fairness assumptions. Syst Control Lett:33"},{"issue":"1","key":"223_CR62","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.ipl.2004.01.004","volume":"90","author":"S Tripakis","year":"2004","unstructured":"Tripakis S (2004) Undecidable Problems of Decentralized Observation and Control on Regular Languages. Inf Process Lett 90(1):21\u201328","journal-title":"Inf Process Lett"},{"issue":"4","key":"223_CR63","doi-asserted-by":"publisher","first-page":"943","DOI":"10.1080\/00207178608933645","volume":"44","author":"JG Thistle","year":"1986","unstructured":"Thistle JG, Wonham WM (1986) Control problems in a temporal logic framework. Int J Control 44(4):943\u2013976","journal-title":"Int J Control"},{"key":"223_CR64","doi-asserted-by":"crossref","unstructured":"Thistle J, Wonham W (1994a) Control of infinite behavior of finite automata. SIAM J Control Optim 32(4):1075\u20131097","DOI":"10.1137\/S0363012991217536"},{"key":"223_CR65","doi-asserted-by":"crossref","unstructured":"Thistle J, Wonham W (1994b) Supervision of infinite behavior of discrete-event systems. SIAM J Control Optim 32(4):1098\u20131113","DOI":"10.1137\/S0363012991217524"},{"key":"223_CR66","doi-asserted-by":"crossref","unstructured":"Vardi MY (1995) An automata-theoretic approach to fair realizability and synthesis. In: Proceedings of the 7th International Conference on Computer Aided Verification, volume 939 of Lecture Notes in Computer Science. Springer, pp 267\u2013292","DOI":"10.1007\/3-540-60045-0_56"},{"key":"223_CR67","doi-asserted-by":"crossref","unstructured":"van Hulst AC, Reniers MA, Fokkink WJ (2014) Maximal synthesis for Hennessy-Milner logic with the box modality. In: Proceedings of the 2014 International Workshop on Discrete Event Systems","DOI":"10.3182\/20140514-3-FR-4046.00034"},{"key":"223_CR68","unstructured":"Vardi MY, Wolper P (1986) An automata-theoretic approach to automatic program verification. In: Proceedings of the 1st IEEE Symposium on Logic in Computer Science, pp 332\u2013344"},{"key":"223_CR69","doi-asserted-by":"crossref","unstructured":"Wonham WM (2015) Supervisory Control of Discrete Event Systems. Available on the author\u2019s website","DOI":"10.1007\/978-1-4471-5058-9_54"},{"issue":"3","key":"223_CR70","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W Wonham","year":"1987","unstructured":"Wonham W, Ramadge P (1987) On the supremal controllable sublanguage of a given language. SIAM J. Control Optim. 25(3):637\u2013659","journal-title":"SIAM J. Control Optim."},{"key":"223_CR71","doi-asserted-by":"crossref","unstructured":"Wong-Toi H, Dill DL (1991) Synthesizing processes and schedulers from temporal specifications. In: Clarke EM, Kurshan RP (eds) Proc. 2nd Int. Conf. on Computer Aided Verification, volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp 177\u2013186. AMS","DOI":"10.1090\/dimacs\/003\/13"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-015-0223-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-015-0223-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-015-0223-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-015-0223-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T15:02:40Z","timestamp":1589727760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-015-0223-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,15]]},"references-count":71,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["223"],"URL":"https:\/\/doi.org\/10.1007\/s10626-015-0223-0","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,15]]},"assertion":[{"value":"3 July 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 December 2015","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 March 2016","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}