{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T16:45:56Z","timestamp":1791305156266,"version":"4.3.1"},"publisher-location":"Cham","reference-count":55,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030021450","type":"print"},{"value":"9783030021467","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-02146-7_1","type":"book-chapter","created":{"date-parts":[[2018,10,5]],"date-time":"2018-10-05T21:44:02Z","timestamp":1538775842000},"page":"3-31","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":29,"title":["What Good are Models?"],"prefix":"10.1007","author":[{"given":"Edward A.","family":"Lee","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,10,5]]},"reference":[{"key":"1_CR1","unstructured":"Volvo, C.E.: Innovation at Volvo construction equipment. https:\/\/www.volvoce.com\/global\/en\/this-is-volvo-ce\/what-we-believe-in\/innovation\/ , 24 Aug 2018"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Jafari, A., Nair, J.J.S., Baumgart, S., Sirjani, M.: Safe and efficient fleet operation for autonomous machines: an actor-based approach. In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, pp. 423\u2013426 (2018)","DOI":"10.1145\/3167132.3167382"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/10692867_13","volume-title":"Requirements Targeting Software and Systems Engineering","author":"Z Manna","year":"1998","unstructured":"Manna, Z., Col\u00f3n, M.A., Finkbeiner, B., Sipma, H.B., Uribe, T.E.: Abstraction and modular verification of infinite-state reactive systems. Requirements Targeting Software and Systems Engineering, pp. 273\u2013292. Springer, Berlin (1998)"},{"key":"1_CR4","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, New Jercy (1989)"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR'93","author":"R. J. Glabbeek","year":"1993","unstructured":"van Glabbeek, R.J.: The linear time - branching time spectrum II. In: CONCUR \u201993, Proceedings of the 4th International Conference on Concurrency Theory, pp. 66\u201381 (1993)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Plato and the Nerd \u2013 The Creative Partnership of Humans and Technology. MIT Press, Cambridge (2017)","DOI":"10.7551\/mitpress\/11180.001.0001"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-319-95246-8_25","volume-title":"Principles of Modeling","author":"M Sirjani","year":"2018","unstructured":"Sirjani, M.: Power is overrated, go for friendliness! expressiveness, faithfulness, and usability in modeling: the actor experience. In: Lohstroh, M., Derler, P., Sirjani, M. (eds.) Principles of Modeling. LNCS, vol. 10760, pp. 423\u2013448. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-95246-8_25"},{"key":"1_CR8","series-title":"Wiley Series in Probability and Statistics","volume-title":"Empirical Model-Building and Response Surfaces","author":"GEP Box","year":"1987","unstructured":"Box, G.E.P., Draper, N.R.: Empirical Model-Building and Response Surfaces. Wiley Series in Probability and Statistics. Wiley, New Jercy (1987)"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MS.1984.233702","volume":"1","author":"B.W. Boehm","year":"1984","unstructured":"Boehm, B.W.: Verifying and validating software requirements and design specifications. IEEE Softw. 75\u201388 (1984)","journal-title":"IEEE Software"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Symposium on Principles of Programming Languages (POPL), pp. 238\u2013252. ACM Press (1977)","DOI":"10.1145\/512950.512973"},{"key":"1_CR11","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"1_CR12","unstructured":"Brooks, R.A.: Artificial life and real robots. In: Varela, F.J., Bourgine, P. (eds.) Toward a Practice of Autonomous Systems: Proceedings of the First European Conference on Artificial Life, pp. 3\u201310. MIT Press, Cambridge (1992)"},{"issue":"1","key":"1_CR13","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/2912149","volume":"1","author":"EA Lee","year":"2016","unstructured":"Lee, E.A.: Fundamental limits of cyber-physical systems modeling. ACM Trans. Cyber-Phys. Syst. 1(1), 26 (2016)","journal-title":"ACM Trans. Cyber-Phys. Syst."},{"issue":"3","key":"1_CR14","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C Hewitt","year":"1977","unstructured":"Hewitt, C.: Viewing control structures as patterns of passing messages. J. Artif. Intell. 8(3), 323\u2013363 (1977)","journal-title":"J. Artif. Intell."},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"GA Agha","year":"1997","unstructured":"Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program. 7(1), 1\u201372 (1997)","journal-title":"J. Funct. Program."},{"issue":"4","key":"1_CR16","doi-asserted-by":"crossref","first-page":"385","DOI":"10.3233\/FUN-2004-63405","volume":"63","author":"M Sirjani","year":"2004","unstructured":"Sirjani, M., Movaghar, A., Shali, A., de Boer, F.S.: Modeling and verification of reactive systems using Rebeca. Fundam. Inform. 63(4), 385\u2013410 (2004)","journal-title":"Fundam. Inform."},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-540-74792-5_5","volume-title":"Formal Methods for Components and Objects","author":"M Sirjani","year":"2007","unstructured":"Sirjani, M.: Rebeca: theory, applications, and tools. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol. 4709, pp. 102\u2013126. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74792-5_5"},{"key":"1_CR18","unstructured":"Sharifi, Z., Mosaffa, M., Mohammadi, S., Sirjani, M.: Functional and performance analysis of network-on-chips using actor-based modeling and formal verification. In: ECEASST 66 (2013)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-319-32582-8_11","volume-title":"Model Checking Software","author":"E Khamespanah","year":"2016","unstructured":"Khamespanah, E., Mechitov, K., Sirjani, M., Agha, G.: Schedulability analysis of distributed real-time sensor network applications using actor-based model checking. In: Bo\u0161na\u010dki, D., Wijs, A. (eds.) SPIN 2016. LNCS, vol. 9641, pp. 165\u2013181. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-32582-8_11"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.adhoc.2017.01.002","volume":"59","author":"G Jahandoust","year":"2017","unstructured":"Jahandoust, G., Ghassemi, F.: An adaptive sinkhole aware algorithm in wireless sensor networks. Ad Hoc Netw. 59, 24\u201334 (2017)","journal-title":"Ad Hoc Netw."},{"key":"1_CR21","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Proceedings of the IFIP Congress , vol. 74, pp. 471\u2013475. North-Holland Publishing Co. (1974)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Dennis, J.B.: First version data flow procedure language. Report MAC TM61, MIT Laboratory for Computer Science (1974)","DOI":"10.1007\/3-540-06859-7_145"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-58043-3_16","volume-title":"A Decade of Concurrency Reflections and Perspectives","author":"A Benveniste","year":"1994","unstructured":"Benveniste, A., Caspi, P., Le Guernic, P., Halbwachs, N.: Data-flow synchronous languages. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol. 803, pp. 1\u201345. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-58043-3_16"},{"key":"1_CR24","unstructured":"Kahn, G., MacQueen, D.B.: Coroutines and networks of parallel processes. In Gilchrist, B. (ed.) Information Processing, pp. 993\u2013998. North-Holland Publishing Co. (1977)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Matsikoudis, E.: The semantics of dataflow with firing. In Huet, G., Plotkin, G., L\u00e9vy, J.J., Bertot, Y. (eds.): From Semantics to Computer Science: Essays in Memory of Gilles Kahn, Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511770524.005"},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker, J., et al.: Taming heterogeneity\u2013the Ptolemy approach. Proc. IEEE 91(2), 127\u2013144 (2003)","journal-title":"Proc. IEEE"},{"key":"1_CR27","volume-title":"System Design, Modeling, and Simulation using Ptolemy II","author":"C Ptolemaeus","year":"2014","unstructured":"Ptolemaeus, C.: System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)"},{"key":"1_CR28","volume-title":"Theory of Modeling and Simulation","author":"BP Zeigler","year":"2000","unstructured":"Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation, 2nd edn. Academic Press, Cambridge (2000)","edition":"2"},{"issue":"3","key":"1_CR29","doi-asserted-by":"publisher","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(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"8","key":"1_CR30","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Tiller, M.M.: Introduction to Physical Modeling with Modelica. Kluwer Academic Publishers (2001)","DOI":"10.1007\/978-1-4615-1561-6"},{"issue":"Special Issue 0","key":"1_CR32","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1017\/S0960129512000278","volume":"23","author":"S Tripakis","year":"2013","unstructured":"Tripakis, S., Stergiou, C., Shaver, C., Lee, E.A.: A modular formal semantics for Ptolemy. Math. Struct. Comput. Sci. 23(Special Issue 04), 834\u2013881 (2013)","journal-title":"Math. Struct. Comput. Sci."},{"key":"1_CR33","unstructured":"Ledeczi, A., et al.: The generic modeling environment. In: Workshop on Intelligent Signal Processing (2001)"},{"key":"1_CR34","volume-title":"An Introduction to Fluid Dynamics","author":"GK Batchelor","year":"1973","unstructured":"Batchelor, G.K.: An Introduction to Fluid Dynamics. Cambridge University Press, Cambridge (1973)"},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/978-3-319-74781-1_36","volume-title":"Software Engineering and Formal Methods","author":"C Castagnari","year":"2018","unstructured":"Castagnari, C., de Berardinis, J., Forcina, G., Jafari, A., Sirjani, M.: Lightweight preprocessing for agent-based simulation of smart mobility initiatives. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 541\u2013557. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74781-1_36"},{"key":"1_CR36","unstructured":"Lee, E.A., Liu, J., Muliadi, L., Zheng, H.: Discrete-event models. In Ptolemaeus, C. (ed.) System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)"},{"key":"1_CR37","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/j.scico.2014.07.005","volume":"98","author":"E Khamespanah","year":"2015","unstructured":"Khamespanah, E., Sirjani, M., Sabahi-Kaviani, Z., Khosravi, R., Izadi, M.: Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Sci. Comput. Program. 98, 184\u2013204 (2015)","journal-title":"Sci. Comput. Program."},{"key":"1_CR38","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-319-30734-3_25","volume-title":"Theory and Practice of Formal Methods","author":"Marjan Sirjani","year":"2016","unstructured":"Sirjani, M., Khamespanah, E.: On time actors. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of his 60th Birthday, pp. 373\u2013392 (2016)"},{"issue":"1\u20133","key":"1_CR39","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"GM Reed","year":"1988","unstructured":"Reed, G.M., Roscoe, A.W.: A timed model for communicating sequential processes. Theor. Comput. Sci. 58(1\u20133), 249\u2013261 (1988)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR40","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.jss.2018.05.034","volume":"143","author":"M Bagheri","year":"2018","unstructured":"Bagheri, M., et al.: Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. 143, 116\u2013139 (2018)","journal-title":"J. Syst. Softw."},{"key":"1_CR41","unstructured":"Cardoso, J., Lee, E.A., Liu, J., Zheng, H.: Continuous-time models. In Ptolemaeus, C. (ed.) System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Menon, P.K., Sweriduk, G.D., Bilimoria, K.: A new approach for modeling, analysis and control of air traffic flow. In: AIAA Conference on Guidance, Navigation, and Control (2004)","DOI":"10.2514\/6.2003-5712"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Baldwin, P., Kohli, S., Lee, E.A., Liu, X., Zhao, Y.: Modeling of sensor nets in Ptolemy II. In: Information Processing in Sensor Networks (IPSN) (2004)","DOI":"10.1145\/984622.984675"},{"issue":"12","key":"1_CR44","doi-asserted-by":"publisher","first-page":"2770","DOI":"10.1016\/j.jss.2012.03.007","volume":"85","author":"N Khakpour","year":"2012","unstructured":"Khakpour, N., Jalili, S., Sirjani, M., Goltz, U., Abolhasanzadeh, B.: HPobSAM for modeling and analyzing IT ecosystems - through a case study. J. Syst. Softw. 85(12), 2770\u20132784 (2012)","journal-title":"J. Syst. Softw."},{"key":"1_CR45","unstructured":"Jayanthi Surendran Nair, J.: Modelling and analysing collaborating heavy machines. Master\u2019s thesis, M\u00e4lardalen University, School of Innovation, Design and Engineering (2017)"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Castagnari, C., Corradini, F., Angelis, F.D., de Berardinis, J., Forcina, G., Polini, A.: Tangramob: an agent-based simulation framework for validating urban smart mobility solutions. CoRR abs\/ arXiv:1805.10906 (2018)","DOI":"10.1515\/jisys-2018-0321"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Bayen, A.M., Raffard, R.L., Tomlin, C.J.: Eulerian network model of air traffic flow in congested areas. In: American Control Conference (2004)","DOI":"10.23919\/ACC.2004.1384733"},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"Sun, D., Yang, S., Strub, I.S., Bayen, A.M., Sridhar, B., Sheth, K.: Eulerian trilogy. In: American Institute of Aeronautics and Astronautics (2006)","DOI":"10.2514\/6.2006-6227"},{"issue":"6","key":"1_CR49","doi-asserted-by":"publisher","first-page":"1360","DOI":"10.2514\/1.G000774","volume":"40","author":"M Chen","year":"2017","unstructured":"Chen, M., Hu, Q., Fisac, J.F., Akametalu, K., Mackin, C., Tomlin, C.J.: Reachability-based safety and goal satisfaction of unmanned aerial platoons on air highways. J. Guid. Control Dynam. 40(6), 1360\u20131373 (2017)","journal-title":"J. Guid. Control Dynam."},{"key":"1_CR50","unstructured":"Bayen, A., Raffard, R., Tomlin, C.: Lagrangian sensing: traffic estimation with mobile devices. In: American Control Conference (2009)"},{"key":"1_CR51","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-02161-9_2","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Jesper Andersson","year":"2009","unstructured":"Andersson, J., de Lemos, R., Malek, S., Weyns, D.: Modeling dimensions of self-adaptive software systems. In: Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], pp. 27\u201347 (2009)"},{"key":"1_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-319-57666-4_15","volume-title":"Formal Aspects of Component Software","author":"M Bagheri","year":"2017","unstructured":"Bagheri, M., et al.: Coordinated actors for reliable self-adaptive systems. In: Kouchnarenko, O., Khosravi, R. (eds.) FACS 2016. LNCS, vol. 10231, pp. 241\u2013259. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57666-4_15"},{"issue":"3","key":"1_CR53","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/3166227.3166233","volume":"14","author":"M Bagheri","year":"2017","unstructured":"Bagheri, M., Khamespanah, E., Sirjani, M., Movaghar, A., Lee, E.A.: Runtime compositional analysis of track-based traffic control systems. SIGBED Rev. 14(3), 38\u201339 (2017)","journal-title":"SIGBED Rev."},{"key":"1_CR54","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.entcs.2010.05.008","volume":"263","author":"N Khakpour","year":"2010","unstructured":"Khakpour, N., Jalili, S., Talcott, C.L., Sirjani, M., Mousavi, M.R.: PobSAM: Policy-based managing of actors in self-adaptive systems. Electr. Notes Theor. Comput. Sci. 263, 129\u2013143 (2010)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"Claudel, C.G., Bayen, A.: Guaranteed bounds for traffic flow parameters estimation using mixed Lagrangian-Eulerian sensing. In: 2008 46th Annual Allerton Conference on Communication, Control, and Computing, pp. 636\u2013645 (2008)","DOI":"10.1109\/ALLERTON.2008.4797618"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02146-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T18:41:29Z","timestamp":1775241689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02146-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030021450","9783030021467"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02146-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"FACS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Aspects of Component Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pohang","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"facs2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sevlab.postech.ac.kr\/facs18","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}