{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T04:44:08Z","timestamp":1778215448453,"version":"3.51.4"},"publisher-location":"Cham","reference-count":71,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031510595","type":"print"},{"value":"9783031510601","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-51060-1_9","type":"book-chapter","created":{"date-parts":[[2024,1,28]],"date-time":"2024-01-28T07:02:08Z","timestamp":1706425328000},"page":"226-260","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Actors Upgraded for\u00a0Variability, Adaptability, and\u00a0Determinism"],"prefix":"10.1007","author":[{"given":"Ramtin","family":"Khosravi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehsan","family":"Khamespanah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatemeh","family":"Ghassemi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,29]]},"reference":[{"key":"9_CR1","unstructured":"The ABS language. https:\/\/abs-models.org\/"},{"key":"9_CR2","unstructured":"Afra toolset homepage. https:\/\/rebeca-lang.org\/alltools\/Afra"},{"key":"9_CR3","doi-asserted-by":"publisher","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. MIT Press, Cambridge (1986)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"110909","DOI":"10.1016\/j.jss.2021.110909","volume":"175","author":"I Ayala","year":"2021","unstructured":"Ayala, I., Papadopoulos, A.V., Amor, M., Fuentes, L.: ProDSPL: proactive self-adaptation based on dynamic software product lines. J. Syst. Softw. 175, 110909 (2021)","journal-title":"J. Syst. Softw."},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D Batory","year":"2005","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7\u201320. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11554844_3"},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s10664-020-09930-8","volume":"27","author":"MH ter Beek","year":"2022","unstructured":"ter Beek, M.H., Damiani, F., Lienhardt, M., Mazzanti, F., Paolini, L.: Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. 27(1), 10 (2022)","journal-title":"Empir. Softw. Eng."},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-030-45234-6_12","volume-title":"Fundamental Approaches to Software Engineering","author":"MH ter Beek","year":"2020","unstructured":"ter Beek, M.H., van Loo, S., de Vink, E.P., Willemse, T.A.: Family-based SPL model checking using parity games with variability. In: Wehrheim, H., Cabot, J. (eds.) FASE 2020. LNCS, vol. 12076, pp. 245\u2013265. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45234-6_12"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Damiani, F., Lienhardt, M., Mazzanti, F., Paolini, L.: Static analysis of featured transition systems. In: Proceedings of the 23rd International Systems and Software Product Line Conference-Volume A, pp. 39\u201351 (2019)","DOI":"10.1145\/3336294.3336295"},{"issue":"3","key":"9_CR9","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1016\/j.infsof.2012.09.006","volume":"55","author":"R Behjati","year":"2013","unstructured":"Behjati, R., Yue, T., Briand, L., Selic, B.: SimPL: a product-line modeling methodology for families of integrated control systems. Inf. Softw. Technol. 55(3), 607\u2013629 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Benduhn, F., Th\u00fcm, T., Lochau, M., Leich, T., Saake, G.: A survey on modeling techniques for formal behavioral verification of software product lines. In: Proceedings of the Ninth International Workshop on Variability Modelling of Software-Intensive Systems, pp. 80\u201387 (2015)","DOI":"10.1145\/2701319.2701332"},{"key":"9_CR11","unstructured":"Bengtsson, H.H., Hiller, M., Mattsson, F., Bengtsson, J.: Holistic analysis of task scheduling and message scheduling in automotive centralised E\/E architecture. In: IEEE\/SA Ethernet\/IP@Automotive Techonology Day (2020)"},{"issue":"5","key":"9_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3122848","volume":"50","author":"FD Boer","year":"2017","unstructured":"Boer, F.D., et al.: A survey of active object languages. ACM Comput. Surv. (CSUR) 50(5), 1\u201339 (2017)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Bordis, T., Runge, T., Schaefer, I.: Correctness-by-construction for feature-oriented software product lines. In: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, pp. 22\u201334 (2020)","DOI":"10.1145\/3425898.3426959"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Cionca, V., Newe, T., Dad\u00e2rlat, V.: TDMA protocol requirements for wireless sensor networks. In: 2008 Second International Conference on Sensor Technologies and Applications (sensorcomm 2008), pp. 30\u201335. IEEE (2008)","DOI":"10.1109\/SENSORCOMM.2008.69"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-25271-6_11","volume-title":"Formal Methods for Components and Objects","author":"D Clarke","year":"2011","unstructured":"Clarke, D., Muschevici, R., Proen\u00e7a, J., Schaefer, I., Schlatte, R.: Variability modelling in the ABS language. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 204\u2013224. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_11"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s10009-012-0234-1","volume":"14","author":"A Classen","year":"2012","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.Y.: Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14, 589\u2013612 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1016\/j.scico.2013.09.019","volume":"80","author":"A Classen","year":"2014","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.Y.: Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80, 416\u2013439 (2014)","journal-title":"Sci. Comput. Program."},{"key":"9_CR18","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, vol. 1, pp. 335\u2013344 (2010)"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"111510","DOI":"10.1016\/j.jss.2022.111510","volume":"195","author":"F Damiani","year":"2023","unstructured":"Damiani, F., H\u00e4hnle, R., Kamburjan, E., Lienhardt, M., Paolini, L.: Variability modules. J. Syst. Softw. 195, 111510 (2023)","journal-title":"J. Syst. Softw."},{"issue":"3","key":"9_CR20","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s11241-007-9012-7","volume":"35","author":"RI Davis","year":"2007","unstructured":"Davis, R.I., Burns, A., Bril, R.J., Lukkien, J.J.: Controller area network (CAN) schedulability analysis: refuted, revisited and revised. Real-Time Syst. 35(3), 239\u2013272 (2007)","journal-title":"Real-Time Syst."},{"key":"9_CR21","unstructured":"Eckel, B.: Thinking in Java, 4th edn. Prentice Hall (2006)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Fadhlillah, H.S., Feichtinger, K., Meixner, K., Sonnleithner, L., Rabiser, R., Zoitl, A.: Towards multidisciplinary delta-oriented variability management in cyber-physical production systems. In: Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems, pp. 1\u201310 (2022)","DOI":"10.1145\/3510466.3511273"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/978-3-319-48989-6_46","volume-title":"FM 2016: Formal Methods","author":"P Filipovikj","year":"2016","unstructured":"Filipovikj, P., Mahmud, N., Marinescu, R., Seceleanu, C., Ljungkrantz, O., L\u00f6nn, H.: Simulink to UPPAAL statistical model checker: analyzing automotive industrial systems. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 748\u2013756. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48989-6_46"},{"key":"9_CR24","first-page":"588","volume":"28","author":"G Forcina","year":"2020","unstructured":"Forcina, G., et al.: Safe design of flow management systems using Rebeca. J. Inf. Process. 28, 588\u2013598 (2020)","journal-title":"J. Inf. Process."},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-68863-1_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"A Gruler","year":"2008","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.: Modeling and model checking software product lines. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 113\u2013131. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68863-1_8"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Haller, P.: On the integration of the actor model in mainstream technologies: the scala perspective. In: Proceedings of the 2nd Edition on Programming Systems, Languages and Applications Based on Actors, Agents, and Decentralized Control Abstractions, pp. 1\u20136 (2012)","DOI":"10.1145\/2414639.2414641"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-031-19756-7_5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering","author":"R von Hanxleden","year":"2022","unstructured":"von Hanxleden, R., et al.: Pragmatics twelve years later: a report on lingua franca. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, Part II. LNCS, vol. 13702, pp. 60\u201389. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19756-7_5"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Haugen, \u00d8., Wasowski, A., Czarnecki, K.: CVL: common variability language. In: Kishi, T., Jarzabek, S., Gnesi, S. (eds.) 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan, 26\u201330 August 2013, p. 277. ACM (2013)","DOI":"10.1145\/2491627.2493899"},{"issue":"3","key":"9_CR29","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. Artif. Intell. 8(3), 323\u2013364 (1977)","journal-title":"Artif. Intell."},{"key":"9_CR30","unstructured":"Hewitt, C.: Actor model of computation: scalable robust information systems. arXiv preprint arXiv:1008.1459 (2010)"},{"issue":"10","key":"9_CR31","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2012.332","volume":"45","author":"M Hinchey","year":"2012","unstructured":"Hinchey, M., Park, S., Schmid, K.: Building dynamic software product lines. Computer 45(10), 22\u201326 (2012)","journal-title":"Computer"},{"key":"9_CR32","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.scico.2016.03.004","volume":"128","author":"A Jafari","year":"2016","unstructured":"Jafari, A., Khamespanah, E., Sirjani, M., Hermanns, H., Cimini, M.: PTRebeca: modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. 128, 22\u201350 (2016)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"9_CR33","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/s10270-021-00877-y","volume":"20","author":"I Jahandideh","year":"2021","unstructured":"Jahandideh, I., Ghassemi, F., Sirjani, M.: An actor-based framework for asynchronous event-based cyber-physical systems. Softw. Syst. Model. 20(3), 641\u2013665 (2021)","journal-title":"Softw. Syst. Model."},{"key":"9_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-23703-5_1","volume-title":"Cyber Physical Systems. Model-Based Design","author":"I Jahandideh","year":"2019","unstructured":"Jahandideh, I., Ghassemi, F., Sirjani, M.: Hybrid Rebeca: modeling and analyzing of cyber-physical systems. In: Chamberlain, R., Taha, W., T\u00f6rngren, M. (eds.) CyPhy\/WESE -2018. LNCS, vol. 11615, pp. 3\u201327. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-23703-5_1"},{"key":"9_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"EB Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_8"},{"key":"9_CR36","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.ress.2013.06.007","volume":"120","author":"E Kang","year":"2013","unstructured":"Kang, E., Enoiu, E.P., Marinescu, R., Seceleanu, C.C., Schobbens, P., Pettersson, P.: A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. 120, 127\u2013138 (2013)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, Carnegie-Mellon University, Pittsburgh, PA, Software Engineering Institute (1990)","DOI":"10.21236\/ADA235785"},{"issue":"1","key":"9_CR38","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2011.09.004","volume":"78","author":"N Khakpour","year":"2012","unstructured":"Khakpour, N., Jalili, S., Talcott, C., Sirjani, M., Mousavi, M.: Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78(1), 3\u201326 (2012)","journal-title":"Sci. Comput. Program."},{"key":"9_CR39","doi-asserted-by":"crossref","unstructured":"Khakpour, N., Khosravi, R., Sirjani, M., Jalili, S.: Formal analysis of policy-based self-adaptive systems. In: Proceedings of the 2010 ACM Symposium on Applied Computing, pp. 2536\u20132543 (2010)","DOI":"10.1145\/1774088.1774613"},{"key":"9_CR40","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., Kaviani, Z.S., Khosravi, R., Izadi, M.J.: 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":"9_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-031-42441-0_6","volume-title":"Fundamentals of Software Engineering","author":"E Khamespanah","year":"2023","unstructured":"Khamespanah, E., Sirjani, M., Khosravi, R.: Afra: an eclipse-based tool with extensible architecture for modeling and model checking of Rebeca family models. In: Hojjat, H., \u00c1brah\u00e1m, E. (eds.) FSEN 2023. LNCS, vol. 14155, pp. 72\u201387. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-42441-0_6"},{"key":"9_CR42","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1007\/s10009-017-0480-3","volume":"20","author":"E Khamespanah","year":"2018","unstructured":"Khamespanah, E., Sirjani, M., Mechitov, K., Agha, G.: Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. Int. J. Softw. Tools Technol. Transf. 20, 547\u2013561 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"9_CR43","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, J., et al.: Beyond software product lines: variability modeling in cyber-physical systems. In: Proceedings of the 21st International Systems and Software Product Line Conference, vol. A, pp. 237\u2013241 (2017)","DOI":"10.1145\/3106195.3106217"},{"key":"9_CR44","doi-asserted-by":"crossref","unstructured":"Kuiter, E., Kn\u00fcppel, A., Bordis, T., Runge, T., Schaefer, I.: Verification strategies for feature-oriented software product lines. In: Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems, pp. 1\u20139 (2022)","DOI":"10.1145\/3510466.3511272"},{"key":"9_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"KG Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Modal I\/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64\u201379. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71316-6_6"},{"key":"9_CR46","doi-asserted-by":"publisher","unstructured":"Lohstroh, M., Menard, C., Bateni, S., Lee, E.A.: Toward a lingua franca for deterministic concurrent systems. ACM Trans. Embed. Comput. Syst. 20(4), 36:1\u201336:27 (2021). https:\/\/doi.org\/10.1145\/3448128","DOI":"10.1145\/3448128"},{"key":"9_CR47","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, p. 152. ACM (2019)","DOI":"10.1145\/3316781.3323469"},{"key":"9_CR48","doi-asserted-by":"crossref","unstructured":"Marinescu, R., Mubeen, S., Seceleanu, C.: Pruning architectural models of automotive embedded systems via dependency analysis. In: 42th Euromicro Conference on Software Engineering and Advanced Applications, pp. 293\u2013302. IEEE Computer Society (2016)","DOI":"10.1109\/SEAA.2016.47"},{"key":"9_CR49","unstructured":"Menard, C., et al.: High-performance deterministic concurrency using lingua franca. CoRR abs\/2301.02444 (2023)"},{"key":"9_CR50","unstructured":"Pfeiffer, O., Ayre, A., Keydel, C.: Embedded Networking with CAN and CANopen, 1st edn. Copperhill Media Corporation (2008)"},{"key":"9_CR51","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., Van Der Linden, F.: Software Product Line Engineering, vol. 10. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/3-540-28901-1"},{"key":"9_CR52","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.procs.2021.01.128","volume":"180","author":"R Rabiser","year":"2021","unstructured":"Rabiser, R., Zoitl, A.: Towards mastering variability in software-intensive cyber-physical production systems. Procedia Comput. Sci. 180, 50\u201359 (2021)","journal-title":"Procedia Comput. Sci."},{"key":"9_CR53","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.scico.2014.01.008","volume":"89","author":"AH Reynisson","year":"2014","unstructured":"Reynisson, A.H., et al.: Modelling and simulation of asynchronous real-time systems using timed Rebeca. Sci. Comput. Program. 89, 41\u201368 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"9_CR54","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.jlamp.2015.06.007","volume":"85","author":"A von Rhein","year":"2016","unstructured":"von Rhein, A., Th\u00fcm, T., Schaefer, I., Liebig, J., Apel, S.: Variability encoding: From compile-time to load-time variability. J. Log. Algebraic Methods Program. 85(1), 125\u2013145 (2016)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"9_CR55","doi-asserted-by":"crossref","unstructured":"Sabouri, H., Jaghoori, M.M., de Boer, F., Khosravi, R.: Scheduling and analysis of real-time software families. In: 2012 IEEE 36th Annual Computer Software and Applications Conference, pp. 680\u2013689. IEEE (2012)","DOI":"10.1109\/COMPSAC.2012.95"},{"issue":"2","key":"9_CR56","first-page":"207","volume":"19","author":"H Sabouri","year":"2013","unstructured":"Sabouri, H., Khosravi, R.: Modeling and verification of reconfigurable actor families. J. Univers. Comput. Sci. 19(2), 207\u2013232 (2013)","journal-title":"J. Univers. Comput. Sci."},{"key":"9_CR57","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2013.06.009","volume":"83","author":"H Sabouri","year":"2014","unstructured":"Sabouri, H., Khosravi, R.: Reducing the verification cost of evolving product families using static analysis techniques. Sci. Comput. Program. 83, 35\u201355 (2014)","journal-title":"Sci. Comput. Program."},{"key":"9_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"I Schaefer","year":"2010","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 77\u201391. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15579-6_6"},{"issue":"5","key":"9_CR59","doi-asserted-by":"publisher","first-page":"3523","DOI":"10.1109\/TII.2020.3007764","volume":"17","author":"MA Sehr","year":"2021","unstructured":"Sehr, M.A., et al.: Programmable logic controllers in the context of industry 4.0. IEEE Trans. Industr. Inform. 17(5), 3523\u20133533 (2021)","journal-title":"IEEE Trans. Industr. Inform."},{"key":"9_CR60","doi-asserted-by":"crossref","unstructured":"Sharifi, Z., Khosravi, R., Sirjani, M., Khamespanah, E.: Towards formal analysis of vehicle platoons using actor model. In: 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), vol. 1, pp. 1820\u20131827. IEEE (2020)","DOI":"10.1109\/ETFA46521.2020.9211888"},{"key":"9_CR61","unstructured":"Sharifi, Z., Mosaffa, M., Mohammadi, S., Sirjani, M.: Functional and performance analysis of network-on-chips using actor-based modeling and formal verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66, 1\u201316 (2013)"},{"key":"9_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-24933-4_3","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M Sirjani","year":"2011","unstructured":"Sirjani, M., Jaghoori, M.M.: Ten years of analyzing actors: Rebeca experience. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 20\u201356. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24933-4_3"},{"key":"9_CR63","series-title":"Lecture Notes in Computer Science","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":"M Sirjani","year":"2016","unstructured":"Sirjani, M., Khamespanah, E.: On time actors. In: \u00c1brah\u00e1m, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 373\u2013392. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-30734-3_25"},{"issue":"7","key":"9_CR64","doi-asserted-by":"publisher","first-page":"1068","DOI":"10.3390\/math8071068","volume":"8","author":"M Sirjani","year":"2020","unstructured":"Sirjani, M., Lee, E.A., Khamespanah, E.: Verification of cyberphysical systems. Mathematics 8(7), 1068 (2020)","journal-title":"Mathematics"},{"key":"9_CR65","unstructured":"Sirjani, M., Movaghar, A.: An actor-based model for formal modelling of reactive systems: Rebeca. Technical report CS-TR-80-01, Tehran, Iran (2001)"},{"key":"9_CR66","unstructured":"Sirjani, M., Movaghar, A., Mousavi, M.: Compositional verification of an object-based reactive system. In: Workshop on Automated Verification of Critical Systems (AVoCS 2001) (2001)"},{"issue":"4","key":"9_CR67","first-page":"385","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. Fund. Inform. 63(4), 385\u2013410 (2004)","journal-title":"Fund. Inform."},{"key":"9_CR68","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-642-11811-1_42","volume-title":"Abstract State Machines, Alloy, B and Zevent","author":"J Sorge","year":"2010","unstructured":"Sorge, J., Poppleton, M., Butler, M.: A basis for feature-oriented modelling in event-B. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, p. 409. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11811-1_42"},{"key":"9_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-34281-3_12","volume-title":"Formal Methods and Software Engineering","author":"M Varshosaz","year":"2012","unstructured":"Varshosaz, M., Khosravi, R.: Modeling and verification of probabilistic actor systems using pRebeca. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 135\u2013150. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34281-3_12"},{"key":"9_CR70","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-030-00262-6_11","volume-title":"Handbook of Software Engineering","author":"D Weyns","year":"2019","unstructured":"Weyns, D.: Software engineering of self-adaptive systems. In: Handbook of Software Engineering, pp. 399\u2013443. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-00262-6_11"},{"issue":"5","key":"9_CR71","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/s10009-020-00579-8","volume":"22","author":"F Yousefi","year":"2020","unstructured":"Yousefi, F., Khamespanah, E., Gharib, M., Sirjani, M., Movaghar, A.: VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance. Int. J. Softw. Tools Technol. Transf. 22(5), 617\u2013633 (2020)","journal-title":"Int. J. Softw. Tools Technol. Transf."}],"updated-by":[{"DOI":"10.1007\/978-3-031-51060-1_14","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2024,6,15]],"date-time":"2024-06-15T00:00:00Z","timestamp":1718409600000}}],"container-title":["Lecture Notes in Computer Science","Active Object Languages: Current Research Trends"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-51060-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T14:05:29Z","timestamp":1718373929000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-51060-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031510595","9783031510601"],"references-count":71,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-51060-1_9","relation":{"correction":[{"id-type":"doi","id":"10.1007\/978-3-031-51060-1_14","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"15 June 2024","order":2,"name":"change_date","label":"Change Date","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Correction","order":3,"name":"change_type","label":"Change Type","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"A correction has been published.","order":4,"name":"change_details","label":"Change Details","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}