{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T00:33:46Z","timestamp":1760747626761,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032052902"},{"type":"electronic","value":"9783032052919"}],"license":[{"start":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T00:00:00Z","timestamp":1758758400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T00:00:00Z","timestamp":1758758400000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-05291-9_8","type":"book-chapter","created":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T14:07:55Z","timestamp":1758722875000},"page":"189-214","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Actors for\u00a0Timing Analysis of\u00a0Distributed Redundant Controllers"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5478-0987","authenticated-orcid":false,"given":"Marjan","family":"Sirjani","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5663-0584","authenticated-orcid":false,"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5495-9098","authenticated-orcid":false,"given":"Zahra","family":"Moezkarimi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6330-0412","authenticated-orcid":false,"given":"Bahman","family":"Pourvatan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5333-3699","authenticated-orcid":false,"given":"Bjarne","family":"Johansson","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8556-1541","authenticated-orcid":false,"given":"Stefan","family":"Marksteiner","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1364-8127","authenticated-orcid":false,"given":"Alessandro V.","family":"Papadopoulos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,9,25]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Agha, G.: An overview of actor languages. In: Wegner, P., Shriver, B.D. (eds.) Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, OOPWORK 1986, Yorktown Heights, New York, USA, June 9-13, 1986, pp. 58\u201367. ACM (1986). https:\/\/doi.org\/10.1145\/323779.323743","DOI":"10.1145\/323779.323743"},{"key":"8_CR2","unstructured":"Agha, G., Hewitt, C.: Actors: A conceptual foundation for concurrent object-oriented programming. In: Shriver, B.D., Wegner, P. (eds.) Research Directions in Object-Oriented Programming, pp. 49\u201374. MIT Press (1987)"},{"key":"8_CR3","unstructured":"Agha, G.A.: Actors: a Model of Concurrent Computation in Distributed Systems (Parallel Processing, Semantics, Open, Programming Languages, Artificial Intelligence). Ph.D. thesis, University of Michigan, USA (1985). http:\/\/hdl.handle.net\/2027.42\/160629"},{"issue":"8","key":"8_CR4","doi-asserted-by":"publisher","first-page":"3345","DOI":"10.3390\/app11083345","volume":"11","author":"J \u00c5kerberg","year":"2021","unstructured":"\u00c5kerberg, J., Furun\u00e4s \u00c5kesson, J., Gade, J., Vahabi, M., Bj\u00f6rkman, M., Lavassani, M., Nandkumar Gore, R., Lindh, T., Jiang, X.: Future industrial networks in process automation: Goals, challenges, and future directions. Appl. Sci. 11(8), 3345 (2021)","journal-title":"Appl. Sci."},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"Atkinson, R.R., Hewitt, C.: Parallelism and synchronization in actor systems. In: Graham, R.M., Harrison, M.A., Sethi, R. (eds.) Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp. 267\u2013280. ACM (1977). https:\/\/doi.org\/10.1145\/512950.512975","DOI":"10.1145\/512950.512975"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Brewer, E.A.: Towards robust distributed systems (abstract). In: Neiger, G. (ed.) Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA, p.\u00a07. ACM (2000). https:\/\/doi.org\/10.1145\/343477.343502","DOI":"10.1145\/343477.343502"},{"key":"8_CR7","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, pp. 235\u2013245. Morgan Kaufmann Publishers Inc. (1973). http:\/\/ijcai.org\/Proceedings\/73\/Papers\/027B.pdf"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Hewitt, C., Bishop, P.B., Greif, I., Smith, B.C., Matson, T., Steiger, R.: Actor induction and meta-evaluation. In: Fischer, P.C., Ullman, J.D. (eds.) Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973, pp. 153\u2013168. ACM Press (1973). https:\/\/doi.org\/10.1145\/512927.512942","DOI":"10.1145\/512927.512942"},{"key":"8_CR9","unstructured":"Johansson, B., et al.: Systematic test case generation for distributed redundant controllers using model checking (extended abstract) (2024)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"169","DOI":"10.4204\/EPTCS.399.8","volume":"399","author":"B Johansson","year":"2024","unstructured":"Johansson, B., Pourvatan, B., Moezkarimi, Z., Papadopoulos, A., Sirjani, M.: Formal verification of consistency for systems with redundant controllers. Electron. Proc. Theoret. Comput. Sci. 399, 169\u2013191 (2024)","journal-title":"Electron. Proc. Theoret. Comput. Sci."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Johansson, B., R\u00e5gberger, M., Papadopoulos, A., Nolte, T.: Consistency before availability: Network reference point based failure detection for controller redundancy. In: ETFA, pp.\u00a01\u20138 (2023)","DOI":"10.1109\/ETFA54631.2023.10275664"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Khamespanah, E., Mohaqeqi, M., Ashjaei, M., Sirjani, M.: Schedulability analysis of WSAN applications: Outperformance of a model checking approach. In: 27th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2022, Stuttgart, Germany, September 6-9, 2022, pp.\u00a01\u20138. IEEE (2022). https:\/\/doi.org\/10.1109\/ETFA52439.2022.9921644","DOI":"10.1109\/ETFA52439.2022.9921644"},{"key":"8_CR13","doi-asserted-by":"publisher","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(5), 547\u2013561 (2018) https:\/\/doi.org\/10.1007\/S10009-017-0480-3","DOI":"10.1007\/S10009-017-0480-3"},{"key":"8_CR14","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). https:\/\/doi.org\/10.1016\/j.scico.2014.07.005","journal-title":"Sci. Comput. Program."},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Khosravi, R., Khamespanah, E., Ghassemi, F., Sirjani, M.: Actors upgraded for variability, adaptability, and determinism. In: Workshop on State-of-the-Art of Active Objects, pp. 226\u2013260 (2024). https:\/\/doi.org\/10.1007\/978-3-031-51060-1_9","DOI":"10.1007\/978-3-031-51060-1_9"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Leander, B., Johansson, B., Lindstr\u00f6m, T., Holmgren, O., Nolte, T., Papadopoulos, A.V.: Dependability and security aspects of network-centric control. In: 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), pp.\u00a01\u20138. IEEE (2023). https:\/\/doi.org\/10.1109\/ETFA54631.2023.10275344","DOI":"10.1109\/ETFA54631.2023.10275344"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Lee, E.A., Akella, R., Bateni, S., Lin, S., Lohstroh, M., Menard, C.: Consistency vs. availability in distributed cyber-physical systems. ACM Trans. Embed. Comput. Syst. 22(5s), 138:1\u2013138:24 (2023). https:\/\/doi.org\/10.1145\/3609119","DOI":"10.1145\/3609119"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Lohstroh, M., Lee, E.A.: Deterministic actors. In: Forum on Specification and Design Languages (FDL), (September 2-4 2019)","DOI":"10.1109\/FDL.2019.8876922"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Lohstroh, M., Menard, C., Bateni, S., Lee, E.A.: Toward a lingua franca for deterministic concurrent systems. ACM Trans. Embedded Comput. Syst. (TECS) 20(4), Article 36 (2021)","DOI":"10.1145\/3448128"},{"key":"8_CR20","doi-asserted-by":"publisher","unstructured":"Lohstroh, M., Schoeberl, M., Goens, A., Wasicek, A., Gill, C.D., Sirjani, M., Lee, E.A.: Actors revisited for time-critical systems. In: Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, June 02-06, 2019, p.\u00a0152. ACM (2019). https:\/\/doi.org\/10.1145\/3316781.3323469","DOI":"10.1145\/3316781.3323469"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Schulz-Rosengarten, A., Hanxleden, R.v., Lohstroh, M., Lee, E.A., Bateni, S.: Polyglot modal models through lingua franca. In: Cyber-Physical Systems and Internet of Things Week ( CPS-IoT), pp. 337\u2013242 (2023)","DOI":"10.1145\/3576914.3587498"},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1117\/12.2644462","volume":"12493","author":"A Simion","year":"2023","unstructured":"Simion, A., Bira, C.: A review of redundancy in plc-based systems. Advanced Topics in Optoelectronics, Microelectronics, and Nanotechnologies XI 12493, 269\u2013276 (2023). https:\/\/doi.org\/10.1117\/12.2644462","journal-title":"Advanced Topics in Optoelectronics, Microelectronics, and Nanotechnologies XI"},{"key":"8_CR23","doi-asserted-by":"publisher","unstructured":"Sirjani, M.: Rebeca: Theory, applications, and tools. In: de\u00a0Boer, F.S., Bonsangue, M.M., Graf, S., de\u00a0Roever, W.P. (eds.) Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Lecture Notes in Computer Science, vol.\u00a04709, pp. 102\u2013126. Springer (2006). https:\/\/doi.org\/10.1007\/978-3-540-74792-5_5","DOI":"10.1007\/978-3-540-74792-5_5"},{"key":"8_CR24","doi-asserted-by":"publisher","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 - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. LNCS, vol. 10760, pp. 423\u2013448. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-95246-8_25","DOI":"10.1007\/978-3-319-95246-8_25"},{"key":"8_CR25","unstructured":"Sirjani, M., de\u00a0Boer, F.S., Jaghoori, M.M.: Task scheduling in rebeca. In: NWPT 2007, pp. 16\u201318 (2007)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Sirjani, M., Khamespanah, E.: On time actors. In: \u00c1brah\u00e1m, E., Bonsangue, M.M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol.\u00a09660, pp. 373\u2013392. Springer (2016)","DOI":"10.1007\/978-3-319-30734-3_25"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Sirjani, M., Lee, E.A., Khamespanah, E.: Model checking software in cyberphysical systems. In: COMPSAC 2020, pp. 1017\u20131026. IEEE (2020)","DOI":"10.1109\/COMPSAC48688.2020.0-138"},{"key":"8_CR28","doi-asserted-by":"publisher","unstructured":"Sirjani, M., Lee, E.A., Khamespanah, E.: Verification of cyberphysical systems. Mathematics 8(7) (2020). https:\/\/doi.org\/10.3390\/math8071068","DOI":"10.3390\/math8071068"},{"key":"8_CR29","unstructured":"Sirjani, M., Movaghar, A., Mousavi, M.: Compositional verification of an object-based model for reactive systems. In: AVoCS 2001 (2001). https:\/\/rebeca-lang.org\/assets\/papers\/2001\/CompositionalVerificationOfAnObject-BasedModelForReactiveSystems.pdf"},{"issue":"4","key":"8_CR30","doi-asserted-by":"publisher","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. Informaticae 63(4), 385\u2013410 (2004)","journal-title":"Fundam. Informaticae"},{"key":"8_CR31","doi-asserted-by":"publisher","unstructured":"Zarneshan, M., Ghassemi, F., Khamespanah, E., Sirjani, M., Hatcliff, J.: Specification and verification of timing properties in interoperable medical systems. Log. Methods Comput. Sci. 18(2) (2022). https:\/\/doi.org\/10.46298\/LMCS-18(2:13)2022","DOI":"10.46298\/LMCS-18(2:13)2022"}],"container-title":["Lecture Notes in Computer Science","Concurrent Programming, Open Systems and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05291-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T18:32:47Z","timestamp":1760725967000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05291-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,25]]},"ISBN":["9783032052902","9783032052919"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05291-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,9,25]]},"assertion":[{"value":"25 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}