{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:35Z","timestamp":1740099095703,"version":"3.37.3"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319900889"},{"type":"electronic","value":"9783319900896"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-90089-6_3","type":"book-chapter","created":{"date-parts":[[2018,5,3]],"date-time":"2018-05-03T20:37:52Z","timestamp":1525379872000},"page":"38-56","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5321-9343","authenticated-orcid":false,"given":"Christel","family":"Baier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8785-0272","authenticated-orcid":false,"given":"Philipp","family":"Chrszon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5718-8276","authenticated-orcid":false,"given":"Clemens","family":"Dubslaff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4681-6964","authenticated-orcid":false,"given":"Joachim","family":"Klein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1724-2586","authenticated-orcid":false,"given":"Sascha","family":"Kl\u00fcppelholz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,7]]},"reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods Syst. Des. 15(1), 7\u201348 (1999)","journal-title":"Formal Methods Syst. Des."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14, 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-89674-6_8","volume-title":"Intelligent Agents and Multi-Agent Systems","author":"F Arbab","year":"2008","unstructured":"Arbab, F., A\u015ftef\u0103noaei, L., de Boer, F.S., Dastani, M., Meyer, J.-J., Tinnermeier, N.: Reo connectors as coordination artifacts in 2APL systems. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol. 5357, pp. 42\u201353. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-89674-6_8"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-642-02053-7_14","volume-title":"Coordination Models and Languages","author":"F Arbab","year":"2009","unstructured":"Arbab, F., Chothia, T., van der Mei, R., Meng, S., Moon, Y.J., Verhoef, C.: From coordination to stochastic models of QoS. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 268\u2013287. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-02053-7_14"},{"key":"3_CR5","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-88479-8_9","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"F Arbab","year":"2008","unstructured":"Arbab, F., Kokash, N., Meng, S.: Towards using Reo for compliance-aware business process modeling. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 108\u2013123. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-88479-8_9"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Arbab, F., Meng, S., Moon, Y., Kwiatkowska, M.Z., Qu, H.: Reo2MC: a tool chain for performance analysis of coordination models. In: ESEC\/SIGSOFT FSE 2009, pp. 287\u2013288. ACM (2009)","DOI":"10.1145\/1595696.1595745"},{"issue":"10","key":"3_CR7","first-page":"1718","volume":"11","author":"C Baier","year":"2005","unstructured":"Baier, C.: Probabilistic models for Reo connector circuits. J. Univ. Comput. Sci. 11(10), 1718\u20131748 (2005)","journal-title":"J. Univ. Comput. Sci."},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-04167-9_5","volume-title":"Formal Methods for Components and Objects","author":"C Baier","year":"2009","unstructured":"Baier, C., Blechmann, T., Klein, J., Kl\u00fcppelholz, S.: Formal verification for components and connectors. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol. 5751, pp. 82\u2013101. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-04167-9_5"},{"key":"3_CR9","unstructured":"Baier, C., Chrszon, P., Dubslaff, C., Klein, J., Kl\u00fcppelholz, S.: Energy-utility analysis of probabilistic systems with exogenous coordination (extended version) (2018). \nhttp:\/\/wwwtcs.inf.tu-dresden.de\/ALGI\/PUB\/FA18\/"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-319-06200-6_24","volume-title":"NASA Formal Methods","author":"C Baier","year":"2014","unstructured":"Baier, C., Daum, M., Dubslaff, C., Klein, J., Kl\u00fcppelholz, S.: Energy-utility quantiles. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2014. LNCS, vol. 8430, pp. 285\u2013299. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-06200-6_24"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-319-06880-0_5","volume-title":"Horizons of the Mind. A Tribute to Prakash Panangaden","author":"C Baier","year":"2014","unstructured":"Baier, C., Dubslaff, C., Klein, J., Kl\u00fcppelholz, S., Wunderlich, S.: Probabilistic model checking for energy-utility analysis. In: van Breugel, F., Kashefi, E., Palamidessi, C., Rutten, J. (eds.) Horizons of the Mind. A Tribute to Prakash Panangaden. LNCS, vol. 8464, pp. 96\u2013123. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-06880-0_5"},{"issue":"6","key":"3_CR12","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR13","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"issue":"2","key":"3_CR14","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11767954_1","volume-title":"Coordination Models and Languages","author":"C Baier","year":"2006","unstructured":"Baier, C., Wolf, V.: Stochastic reasoning about channel-based component connectors. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 1\u201315. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11767954_1"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"A Bianco","year":"1995","unstructured":"Bianco, A., de Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol. 1026, pp. 499\u2013513. Springer, Heidelberg (1995). \nhttps:\/\/doi.org\/10.1007\/3-540-60692-0_70"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-319-30734-3_10","volume-title":"Theory and Practice of Formal Methods","author":"P Chrszon","year":"2016","unstructured":"Chrszon, P., Dubslaff, C., Baier, C., Klein, J., Kl\u00fcppelholz, S.: Modeling role-based systems with exogenous coordination. In: \u00c1brah\u00e1m, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 122\u2013139. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-30734-3_10"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-319-63390-9_31","volume-title":"Computer Aided Verification","author":"C Dehnert","year":"2017","unstructured":"Dehnert, C., Junges, S., Katoen, J.-P., Volk, M.: A Storm is coming: a modern probabilistic model checker. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10427, pp. 592\u2013600. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-63390-9_31"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-21455-4_3","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"V Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated verification techniques for probabilistic systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 53\u2013113. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-21455-4_3"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-19835-9_11","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"V Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D., Qu, H.: Quantitative multi-objective verification for probabilistic systems. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 112\u2013127. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-19835-9_11"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-33386-6_25","volume-title":"Automated Technology for Verification and Analysis","author":"V Forejt","year":"2012","unstructured":"Forejt, V., Kwiatkowska, M., Parker, D.: Pareto curves for probabilistic model checking. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, pp. 317\u2013332. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-33386-6_25"},{"key":"3_CR22","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects Comput. 6, 512\u2013535 (1994)","journal-title":"Formal Aspects Comput."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"He, K., Hermanns, H., Chen, Y.: Models of connected things: on priced probabilistic timed Reo. In: 41st IEEE Annual Computer Software and Applications Conference (COMPSAC 2017), vol. 1, pp. 234\u2013243 (2017)","DOI":"10.1109\/COMPSAC.2017.172"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-642-54624-2_18","volume-title":"Specification, Algebra, and Software","author":"R Hennicker","year":"2014","unstructured":"Hennicker, R., Klarl, A.: Foundations for ensemble modeling \u2013 the Helena approach. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 359\u2013381. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-642-54624-2_18"},{"key":"3_CR25","unstructured":"Hermanns, H.: Interactive Markov chains. Ph.D. thesis, University of Erlangen-Nuremberg, Germany (1999)"},{"key":"3_CR26","unstructured":"Hillston, J.: A compositional approach to performance modelling. Ph.D. thesis, University of Edinburgh, UK (1994)"},{"issue":"1","key":"3_CR27","first-page":"201","volume":"22","author":"STQ Jongmans","year":"2012","unstructured":"Jongmans, S.T.Q., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22(1), 201\u2013251 (2012)","journal-title":"Sci. Ann. Comput. Sci."},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-33427-6_1","volume-title":"Service-Oriented and Cloud Computing","author":"S-STQ Jongmans","year":"2012","unstructured":"Jongmans, S.-S.T.Q., Santini, F., Sargolzaei, M., Arbab, F., Afsarmanesh, H.: Automatic code generation for the orchestration of web services with Reo. In: De Paoli, F., Pimentel, E., Zavattaro, G. (eds.) ESOCC 2012. LNCS, vol. 7592, pp. 1\u201316. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-33427-6_1"},{"key":"3_CR29","unstructured":"Kallenberg, L.: Markov Decision Processes. Lecture Notes, University of Leiden (2011)"},{"issue":"2","key":"3_CR30","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/TSC.2011.46","volume":"6","author":"N Kokash","year":"2013","unstructured":"Kokash, N., Arbab, F.: Formal design and verification of long-running transactions with extensible coordination tools. IEEE Trans. Serv. Comput. 6(2), 186\u2013200 (2013)","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"2","key":"3_CR31","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s00165-011-0191-6","volume":"24","author":"N Kokash","year":"2012","unstructured":"Kokash, N., Krause, C., de Vink, E.: Reo + mCRL2: a framework for model-checking dataflow in service compositions. Formal Aspects Comput. 24(2), 187\u2013216 (2012)","journal-title":"Formal Aspects Comput."},{"key":"3_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-319-11245-9_8","volume-title":"Software Language Engineering","author":"T K\u00fchn","year":"2014","unstructured":"K\u00fchn, T., Leuth\u00e4user, M., G\u00f6tz, S., Seidl, C., A\u00dfmann, U.: A metamodel family for role-based modeling and programming languages. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 141\u2013160. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-11245-9_8"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"issue":"1","key":"3_CR34","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10703-006-0005-2","volume":"29","author":"MZ Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D., Sproston, J.: Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Des. 29(1), 33\u201378 (2006)","journal-title":"Formal Methods Syst. Des."},{"issue":"1","key":"3_CR35","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"MZ Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M.Z., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. Theoret. Comput. Sci. 282(1), 101\u2013150 (2002)","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-319-70848-5_18","volume-title":"Formal Methods: Foundations and Applications","author":"Y Li","year":"2017","unstructured":"Li, Y., Zhang, X., Ji, Y., Sun, M.: Capturing stochastic and real-time behavior in Reo connectors. In: Cavalheiro, S., Fiadeiro, J. (eds.) SBMF 2017. LNCS, vol. 10623, pp. 287\u2013304. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-70848-5_18"},{"issue":"2","key":"3_CR37","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/288197.581193","volume":"26","author":"MA Marsan","year":"1998","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. SIGMETRICS Perform. Eval. Rev. 26(2), 2 (1998)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"3_CR38","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2011.11.007","volume":"80","author":"Y Moon","year":"2014","unstructured":"Moon, Y., Silva, A., Krause, C., Arbab, F.: A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Sci. Comput. Program. 80, 3\u201324 (2014)","journal-title":"Sci. Comput. Program."},{"key":"3_CR39","unstructured":"Moon, Y.-J., Arbab, F., Silva, A., Stam, A., Verhoef, C.: Stochastic Reo: a case study. In: Workshop on Harnessing Theories for Tool Support in Software (TTSS 2011), pp. 90\u2013105 (2011)"},{"issue":"1","key":"3_CR40","first-page":"3","volume":"5","author":"N Oliveira","year":"2015","unstructured":"Oliveira, N., Silva, A., Barbosa, L.S.: Imc$${}_{\\text{ reo }}$$: interactive Markov chains for stochastic Reo. J. Internet Serv. Inf. Secur. 5(1), 3\u201328 (2015)","journal-title":"J. Internet Serv. Inf. Secur."},{"key":"3_CR41","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0065-2458(08)60208-9","volume":"46","author":"GA Papadopoulos","year":"1998","unstructured":"Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Adv. Comput. 46, 329\u2013400 (1998)","journal-title":"Adv. Comput."},{"key":"3_CR42","unstructured":"Parker, D.: Implementation of symbolic model checking for probabilistic systems. Ph.D. thesis, University of Birmingham (2002)"},{"key":"3_CR43","unstructured":"PRISM Manual. \nhttp:\/\/www.prismmodelchecker.org\/manual\/"},{"key":"3_CR44","unstructured":"PRISM Language Semantics. \nhttp:\/\/www.prismmodelchecker.org\/doc\/semantics.pdf"},{"key":"3_CR45","unstructured":"Proen\u00e7a, J.: Synchronous coordination of distributed components. Ph.D. thesis, Leiden University (2011)"},{"key":"3_CR46","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"ML Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, New York (1994)"},{"key":"3_CR47","unstructured":"The Reo Compiler. \nhttps:\/\/github.com\/ReoLanguage\/Reo"},{"issue":"3","key":"3_CR48","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1109\/TSMCC.2008.919168","volume":"38","author":"H Zhu","year":"2008","unstructured":"Zhu, H., Zhou, M.: Roles in information systems: a survey. IEEE Trans. Syst. Man Cybern. Part C 38(3), 377\u2013396 (2008)","journal-title":"IEEE Trans. Syst. Man Cybern. Part C"}],"container-title":["Lecture Notes in Computer Science","It's All About Coordination"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90089-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,3]],"date-time":"2018-05-03T20:38:46Z","timestamp":1525379926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90089-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319900889","9783319900896"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90089-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}