{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T14:14:58Z","timestamp":1773843298572,"version":"3.50.1"},"publisher-location":"Cham","reference-count":63,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030411305","type":"print"},{"value":"9783030411312","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-41131-2_4","type":"book-chapter","created":{"date-parts":[[2020,2,17]],"date-time":"2020-02-17T11:06:49Z","timestamp":1581937609000},"page":"59-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":36,"title":["Reactors: A Deterministic Model for Composable Reactive Systems"],"prefix":"10.1007","author":[{"given":"Marten","family":"Lohstroh","sequence":"first","affiliation":[]},{"given":"\u00cd\u00f1igo \u00cdncer","family":"Romeo","sequence":"additional","affiliation":[]},{"given":"Andr\u00e9s","family":"Goens","sequence":"additional","affiliation":[]},{"given":"Patricia","family":"Derler","sequence":"additional","affiliation":[]},{"given":"Jeronimo","family":"Castrillon","sequence":"additional","affiliation":[]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,18]]},"reference":[{"key":"4_CR1","series-title":"The MIT Press Series in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1986","unstructured":"Agha, G.: ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press Series in Artificial Intelligence. MIT Press, Cambridge (1986)"},{"key":"4_CR2","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent programming in Erlang, 2nd edn. Prentice Hall (1996)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bai, Y.: Desynchronization: From macro-step to micro-step. In: 2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), pp. 1\u201310, October 2018","DOI":"10.1109\/MEMCOD.2018.8556988"},{"issue":"4","key":"4_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2501654.2501666","volume":"45","author":"Engineer Bainomugisha","year":"2013","unstructured":"Bainomugisha, E., Carreton, A.L., Cutsem, T.V., Mostinckx, S., Meuter, W.D.: A survey on reactive programming. ACM Comput. Surv. (CSUR) 45(4), 52 (2013)","journal-title":"ACM Computing Surveys"},{"issue":"8","key":"4_CR5","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/872734.806932","volume":"12","author":"HC Baker Jr","year":"1977","unstructured":"Baker Jr., H.C., Hewitt, C.: The incremental garbage collection of processes. ACM Sigplan Not. 12(8), 55\u201359 (1977)","journal-title":"ACM Sigplan Not."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Banken, H., Meijer, E., Gousios, G.: Debugging data flows in reactive programs. In: 2018 IEEE\/ACM 40th International Conference on Software Engineering (ICSE), pp. 752\u2013763. IEEE (2018)","DOI":"10.1145\/3180155.3180156"},{"issue":"5","key":"4_CR7","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1109\/9.53519","volume":"35","author":"A Benveniste","year":"1990","unstructured":"Benveniste, A., Le Guernic, P.: Hybrid dynamical systems theory and the SIGNAL language. IEEE Trans. Autom. Control 35(5), 525\u2013546 (1990)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"key":"4_CR9","unstructured":"Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.A.: Static scheduling of multi-rate and cyclo-static DSP applications. In: Workshop on VLSI Signal Processing. IEEE Press (1994)"},{"key":"4_CR10","unstructured":"Bon\u00e9r, J., Farley, D., Kuhn, R., Thompson, M.: The reactive manifesto (2014). http:\/\/www.reactivemanifesto.org\/"},{"key":"4_CR11","unstructured":"Bon\u00e9r, J., Klang, V., Kuhn, R., et al.: Akka library (2011\u20132019). http:\/\/akka.io"},{"issue":"9","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1527","DOI":"10.1109\/JPROC.2018.2812598","volume":"106","author":"C Brooks","year":"2018","unstructured":"Brooks, C., et al.: A component architecture for the Internet of Things. Proc. IEEE 106(9), 1527\u20131542 (2018)","journal-title":"Proc. IEEE"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13953-6_3","volume-title":"Objects, Models, Components, Patterns","author":"A Lombide Carreton","year":"2010","unstructured":"Lombide Carreton, A., Mostinckx, S., Van Cutsem, T., De Meuter, W.: Loosely-coupled distributed reactive programming in mobile ad hoc networks. In: Vitek, J. (ed.) TOOLS 2010. LNCS, vol. 6141. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13953-6_3"},{"key":"4_CR14","unstructured":"Chapiro, D.M.: Globally-asynchronous locally-synchronous systems. Ph.D. thesis, Stanford University, October 1984"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_20","volume-title":"Programming Languages and Systems","author":"GH Cooper","year":"2006","unstructured":"Cooper, G.H., Krishnamurthi, S.: Embedding dynamic dataflow in a call-by-value language. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol. 3924. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11693024_20"},{"key":"4_CR16","unstructured":"Corbett, J.C., et al.: Spanner: Google\u2019s globally-distributed database. In: OSDI (2012)"},{"issue":"3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"1655","DOI":"10.1007\/s10270-017-0633-6","volume":"18","author":"Fabio Cremona","year":"2017","unstructured":"Cremona, F., Lohstroh, M., Broman, D., Lee, E.A., Masin, M., Tripakis, S.: Hybrid co-simulation: it\u2019s about time. Softw. Syst. Model. 18, 1622\u20131679 (2017)","journal-title":"Software & Systems Modeling"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Czaplicki, E., Chong, S.N.: Asynchronous functional reactive programming for GUIs. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation-PLDI 2013. ACM Press (2013)","DOI":"10.1145\/2491956.2462161"},{"key":"4_CR19","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":"4_CR20","doi-asserted-by":"crossref","unstructured":"Edwards, J.: Coherent reaction. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, pp. 925\u2013932. ACM (2009)","DOI":"10.1145\/1639950.1640058"},{"issue":"1","key":"4_CR21","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/JPROC.2011.2161237","volume":"100","author":"J Eidson","year":"2012","unstructured":"Eidson, J., Lee, E.A., Matic, S., Seshia, S.A., Zou, J.: Distributed real-time software for cyber-physical systems. Proc. IEEE (Spec. Issue CPS) 100(1), 45\u201359 (2012)","journal-title":"Proc. IEEE (Spec. Issue CPS)"},{"issue":"8","key":"4_CR22","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/258949.258973","volume":"32","author":"Conal Elliott","year":"1997","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: ACM SIGPLAN Notices, vol. 32, pp. 263\u2013273 (1997)","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR23","unstructured":"Friedman, D.P., Wise, D.S.: The impact of applicative programming on multiprocessing. Indiana University, Computer Science Department (1976)"},{"key":"4_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6","volume-title":"SpecC: Specification Language and Methodology","author":"D Gajski","year":"2000","unstructured":"Gajski, D.: SpecC: Specification Language and Methodology. Kluwer Academic Publishers, Norwell (2000)"},{"key":"4_CR25","unstructured":"S.C.S.W. Group, et al.: 1666\u20132011-IEEE standard for standard SystemC language reference manual (2012)"},{"issue":"9","key":"4_CR26","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data flow programming language LUSTRE. Proc. IEEE 79(9), 1305\u20131319 (1991)","journal-title":"Proc. IEEE"},{"issue":"2\u20133","key":"4_CR27","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.tcs.2008.09.019","volume":"410","author":"P Haller","year":"2009","unstructured":"Haller, P., Odersky, M.: Scala actors: unifying thread-based and event-based programming. Theor. Comput. Sci. 410(2\u20133), 202\u2013220 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR28","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logics and Models of Concurrent Systems","author":"D Harel","year":"1985","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems, vol. 13, pp. 477\u2013498. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/978-3-642-82453-1_17"},{"issue":"3","key":"4_CR29","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"4_CR30","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."},{"key":"4_CR31","unstructured":"Hewitt, C., Bishop, P.B., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, CA, USA, 20\u201323 August 1973, pp. 235\u2013245 (1973)"},{"key":"4_CR32","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Proceedings of the IFIP Congress 74, pp. 471\u2013475. North-Holland Publishing Co. (1974)"},{"key":"4_CR33","unstructured":"Koopman, P.: A case study of Toyota unintended acceleration and software safety (2014). http:\/\/betterembsw.blogspot.com\/2014\/09\/a-case-study-of-toyota-unintended.html"},{"key":"4_CR34","unstructured":"Kuhn, R., Hanafee, B., Allen, J.: Reactive Design Patterns. Manning Publications Company (2017)"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Lee, E., Reineke, J., Zimmer, M.: Abstract PRET machines. In: 2017 IEEE Real-Time Systems Symposium (RTSS), pp. 1\u201311, December 2017","DOI":"10.1109\/RTSS.2017.00041"},{"issue":"9","key":"4_CR36","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"EA Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"issue":"5","key":"4_CR37","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1109\/5.381846","volume":"83","author":"EA Lee","year":"1995","unstructured":"Lee, E.A., Parks, T.M.: Dataflow process networks. Proc. IEEE 83(5), 773\u2013801 (1995)","journal-title":"Proc. IEEE"},{"issue":"5","key":"4_CR38","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"EA Lee","year":"2006","unstructured":"Lee, E.A.: The problem with threads. Computer 39(5), 33\u201342 (2006)","journal-title":"Computer"},{"issue":"12","key":"4_CR39","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"EA Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Trans. Comput.-Aided Des. Circuits Syst. 17(12), 1217\u20131229 (1998)","journal-title":"IEEE Trans. Comput.-Aided Des. Circuits Syst."},{"key":"4_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","volume-title":"Hybrid Systems: Computation and Control","author":"EA Lee","year":"2005","unstructured":"Lee, E.A., Zheng, H.: Operational semantics of hybrid systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 25\u201353. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31954-2_2"},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Zheng, H.: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In: EMSOFT, pp. 114\u2013123. ACM (2007)","DOI":"10.1145\/1289927.1289949"},{"key":"4_CR42","doi-asserted-by":"crossref","unstructured":"Liao, S., Tjiang, S., Gupta, R.: An efficient implementation of reactivity for modeling hardware in the Scenic design environment. In: Design Automation Conference. ACM (1997)","DOI":"10.1145\/266021.266037"},{"key":"4_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11817949_1","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"X Liu","year":"2006","unstructured":"Liu, X., Matsikoudis, E., Lee, E.A.: Modeling timed concurrent systems. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 1\u201315. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11817949_1"},{"key":"4_CR44","doi-asserted-by":"crossref","unstructured":"Lohstroh, M., Lee, E.A.: Deterministic actors. In: 2019 Forum for Specification and Design Languages (FDL), pp. 1\u20138, 2\u20134 September 2019","DOI":"10.1109\/FDL.2019.8876922"},{"key":"4_CR45","doi-asserted-by":"crossref","unstructured":"Lohstroh, M., Schoeberl, M., Jan, M., Wang, E., Lee, E.A.: Work-in-progress: programs with ironclad timing guarantees. In: 2019 International Conference on Embedded Software (EMSOFT), October 2019","DOI":"10.1145\/3349568.3351553"},{"key":"4_CR46","doi-asserted-by":"crossref","unstructured":"Lohstroh, M., et al.: Actors revisited for time-critical systems. In: Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, 02\u201306 June 2019, pp. 152:1\u2013152:4. ACM (2019)","DOI":"10.1145\/3316781.3323469"},{"key":"4_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032003","volume-title":"Real-Time: Theory in Practice","author":"O Maler","year":"1992","unstructured":"Maler, O., Manna, Z., Pnueli, A.: Prom timed to hybrid systems. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/BFb0032003"},{"key":"4_CR48","doi-asserted-by":"crossref","unstructured":"Matsikoudis, E., Lee, E.A.: The fixed-point theory of strictly causal functions. Technical report UCB\/EECS-2013-122, EECS Department, University of California, Berkeley, 9 June 2013","DOI":"10.21236\/ADA586605"},{"key":"4_CR49","doi-asserted-by":"crossref","unstructured":"Meijer, E.: Reactive extensions (Rx): curing your asynchronous programming blues. In: ACM SIGPLAN Commercial Users of Functional Programming, CUFP 2010, pp. 11:1\u201311:1. ACM, New York (2010)","DOI":"10.1145\/1900160.1900173"},{"key":"4_CR50","unstructured":"Moritz, P., et al.: Ray: a distributed framework for emerging AI applications. simarXiv:1712.05889v2 [cs.DC] 30 Sept 2018 (2018)"},{"key":"4_CR51","doi-asserted-by":"crossref","unstructured":"Myter, F., Scholliers, C., De Meuter, W.: Distributed reactive programming for reactive distributed systems. arXiv preprint arXiv:1902.00524 (2019)","DOI":"10.22152\/programming-journal.org\/2019\/3\/5"},{"key":"4_CR52","unstructured":"NASA Engineering and Safety Center: National highway traffic safety administration Toyota unintended acceleration investigation. Technical assessment report, NASA, 18 January 2011"},{"key":"4_CR53","unstructured":"Parks, T.M.: Bounded scheduling of process networks. Ph.D. thesis. Technical report UCB\/ERL M95\/105, UC Berkeley (1995)"},{"key":"4_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00302-9_5","volume-title":"Programming with Actors","author":"A Prokopec","year":"2018","unstructured":"Prokopec, A.: Pluggable scheduling for the reactor programming model. In: Ricci, A., Haller, P. (eds.) Programming with Actors. LNCS, vol. 10789. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00302-9_5"},{"key":"4_CR55","unstructured":"Roestenburg, R., Bakker, R., Williams, R.: Akka in Action. Manning Publications Co. (2016)"},{"issue":"2","key":"4_CR56","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s11241-018-9300-4","volume":"54","author":"M Schoeberl","year":"2018","unstructured":"Schoeberl, M., Puffitsch, W., Hepp, S., Huber, B., Prokesch, D.: Patmos: a time-predictable microprocessor. Real-Time Syst. 54(2), 389\u2013423 (2018)","journal-title":"Real-Time Syst."},{"key":"4_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_13","volume-title":"ECOOP 2013 \u2013 Object-Oriented Programming","author":"S Tasharofi","year":"2013","unstructured":"Tasharofi, S., Dinges, P., Johnson, R.E.: Why do scala developers mix the actor model with other concurrency models? In: Castagna, G. (ed.) ECOOP 2013. LNCS, vol. 7920. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39038-8_13"},{"issue":"6","key":"4_CR58","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/MIC.2010.145","volume":"14","author":"Stefan Tilkov","year":"2010","unstructured":"Tilkov, S., Vinoski, S.: Node. js: using JavaScript to build high-performance network programs. IEEE Internet Comput. 14(6), 80\u201383 (2010)","journal-title":"IEEE Internet Computing"},{"key":"4_CR59","unstructured":"Torres Lopez, C., Gurdeep Singh, R., Marr, S., Gonzalez Boix, E., Scholliers, C.: Multiverse debugging: non-deterministic debugging for non-deterministic programs (2019)"},{"key":"4_CR60","unstructured":"Vernon, V.: Reactive Messaging Patterns with the Actor Model: Applications and Integration in Scala and Akka. Addison-Wesley Professional (2015)"},{"key":"4_CR61","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Lee, E.A., Liu, J.: A programming model for time-synchronized distributed real-time systems. In: Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 259\u2013268. IEEE (2007)","DOI":"10.1109\/RTAS.2007.5"},{"key":"4_CR62","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Liu, J., Lee, E.A.: A programming model for time-synchronized distributed real-time systems. In: 13th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2007, pp. 259\u2013268, April 2007","DOI":"10.1109\/RTAS.2007.5"},{"key":"4_CR63","doi-asserted-by":"crossref","unstructured":"Zimmer, M., Broman, D., Shaver, C., Lee, E.A.: FlexPRET: a processor platform for mixed-criticality systems. In: Real-Time and Embedded Technology and Application Symposium (RTAS) (2014)","DOI":"10.1109\/RTAS.2014.6925994"}],"container-title":["Lecture Notes in Computer Science","Cyber Physical Systems. Model-Based Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-41131-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T19:43:41Z","timestamp":1614455021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-41131-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030411305","9783030411312"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-41131-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"18 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CyPhy","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New York City, NY","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cyphy2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.cyphy.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"56% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1-2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}