{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T04:34:08Z","timestamp":1781238848405,"version":"3.54.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,4,3]],"date-time":"2021-04-03T00:00:00Z","timestamp":1617408000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,4,3]],"date-time":"2021-04-03T00:00:00Z","timestamp":1617408000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s10270-021-00877-y","type":"journal-article","created":{"date-parts":[[2021,4,3]],"date-time":"2021-04-03T09:02:46Z","timestamp":1617440566000},"page":"641-665","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["An actor-based framework for asynchronous event-based cyber-physical systems"],"prefix":"10.1007","volume":"20","author":[{"given":"Iman","family":"Jahandideh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9677-3854","authenticated-orcid":false,"given":"Fatemeh","family":"Ghassemi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,4,3]]},"reference":[{"key":"877_CR1","doi-asserted-by":"crossref","unstructured":"Aceto, L., Cimini, M., Ing\u00f3lfsd\u00f3ttir, A., Reynisson, A.H., Sigurdarson, S.H., Sirjani, M.: Modelling and simulation of asynchronous real-time systems using timed rebeca. In: 10th International Workshop on the Foundations of Coordination Languages and Software Architectures. EPTCS, vol. 58, pp. 1\u201319 (2011)","DOI":"10.4204\/EPTCS.58.1"},{"key":"877_CR2","series-title":"MIT Press Series in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A Model of Concurrent Computation in Distributed Systems","author":"GA Agha","year":"1986","unstructured":"Agha, G.A.: ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press Series in Artificial Intelligence, MIT Press, Cambridge (1986)"},{"issue":"1","key":"877_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"877_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"877_CR5","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). https:\/\/doi.org\/10.1016\/0167-6423(92)90005-V","journal-title":"Sci. Comput. Program."},{"key":"877_CR6","doi-asserted-by":"crossref","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: 25th International Conference on Computer Aided Verification. LNCS, vol. 8044, pp. 258\u2013263. Springer (2013)","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"877_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.simpat.2017.12.008","volume":"83","author":"F Cicirelli","year":"2018","unstructured":"Cicirelli, F., Nigro, L., Sciammarella, P.F.: Model continuity in cyber-physical systems: a control-centered methodology based on agents. Simul. Model. Pract. Theory 83, 93\u2013107 (2018)","journal-title":"Simul. Model. Pract. Theory"},{"issue":"2","key":"877_CR8","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.jlap.2004.02.001","volume":"62","author":"P Cuijpers","year":"2005","unstructured":"Cuijpers, P., Reniers, M.A.: Hybrid process algebra. J. Log. Algebr. Program. 62(2), 191\u2013245 (2005)","journal-title":"J. Log. Algebr. Program."},{"issue":"1\u20132","key":"877_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1008330914786","volume":"11","author":"R David","year":"2001","unstructured":"David, R., Alla, H.: On hybrid petri nets. Discrete Event Dyn. Syst. 11(1\u20132), 9\u201340 (2001)","journal-title":"Discrete Event Dyn. Syst."},{"issue":"3","key":"877_CR10","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."},{"issue":"1","key":"877_CR11","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/JPROC.2011.2160929","volume":"100","author":"P Derler","year":"2012","unstructured":"Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.L.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13\u201328 (2012)","journal-title":"Proc. IEEE"},{"key":"877_CR12","doi-asserted-by":"crossref","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: 21st International Symposium on Formal Methods. LNCS, vol. 9995, pp. 748\u2013756 (2016)","DOI":"10.1007\/978-3-319-48989-6_46"},{"key":"877_CR13","doi-asserted-by":"crossref","unstructured":"Frehse, G.: Phaver: algorithmic verification of hybrid systems past hytech. In: Morari, M., Thiele, L. (eds) 8th International Workshop on Hybrid Systems: Computation and Control. LNCS, vol. 3414, pp. 258\u2013273. Springer (2005)","DOI":"10.1007\/978-3-540-31954-2_17"},{"key":"877_CR14","doi-asserted-by":"crossref","unstructured":"Frehse, G., Guernic, C.L., Donz\u00e9, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: Spaceex: scalable verification of hybrid systems. In: 23rd International Conference on Computer Aided Verification. LNCS, vol. 6806, pp. 379\u2013395. Springer (2011)","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"877_CR15","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: 11th Annual IEEE Symposium on Logic in Computer Science, pp. 278\u2013292. IEEE Computer Society (1996)"},{"key":"877_CR16","unstructured":"Hewitt, C.: Description and theoretical analysis (using schemata) of planner: a language for proving theorems and manipulating models in a robot. Technical Report on Massachusetts Institute of Technology, Artificial Intelligence Laboratory (1972)"},{"key":"877_CR17","doi-asserted-by":"crossref","unstructured":"Jahandideh, I., Ghassemi, F., Sirjani, M.: Hybrid rebeca: Modeling and analyzing of cyber-physical systems. In: 8th International Workshop on Model-Based Design of Cyber Physical Systems. LNCS, vol. 11615, pp. 3\u201327. Springer (2018)","DOI":"10.1007\/978-3-030-23703-5_1"},{"key":"877_CR18","doi-asserted-by":"crossref","unstructured":"Johnsen, E., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: 9th International Symposium on Formal Methods for Components and Objects. LNCS, vol. 6957, pp. 142\u2013164. Springer (2010)","DOI":"10.1007\/978-3-642-25271-6_8"},{"key":"877_CR19","unstructured":"Kamburjan, E., Mitsch, S., Kettenbach, M., H\u00e4hnle, R.: Modeling and verifying cyber-physical systems with hybrid active objects. arXiv:1906.05704 (2019)"},{"key":"877_CR20","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."},{"issue":"4","key":"877_CR21","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real Time Syst."},{"key":"877_CR22","doi-asserted-by":"crossref","unstructured":"Lanotte, R., Merro, M.: A calculus of cyber-physical systems. In: Language and Automata Theory and Applications: 11th International Conference. LNCS, vol. 10168, pp. 115\u2013127 (2017)","DOI":"10.1007\/978-3-319-53733-7_8"},{"key":"877_CR23","doi-asserted-by":"crossref","unstructured":"Lanotte, R., Merro, M., Muradore, R., Vigan\u00f2, L.: A formal approach to cyber-physical attacks. In: 30th IEEE Computer Security Foundations Symposium, pp. 436\u2013450. IEEE Computer Society (2017)","DOI":"10.1109\/CSF.2017.12"},{"key":"877_CR24","doi-asserted-by":"crossref","unstructured":"Lanotte, R., Merro, M., Tini, S.: Towards a formal notion of impact metric for cyber-physical attacks. In: 14th International Conference on integrated Formal Methods (2018) (to appear)","DOI":"10.1007\/978-3-319-98938-9_17"},{"key":"877_CR25","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber physical systems: Design challenges. In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), pp. 363\u2013369. IEEE Computer Society (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"877_CR26","doi-asserted-by":"crossref","unstructured":"Lohstroh, M., Romeo, \u00cd.\u00cd., Goens, A., Derler, P., Castrill\u00f3n, J., Lee, E.A., Sangiovanni-Vincentelli, A.L.: Reactors: a deterministic model for composable reactive systems. In: 9th International Workshop on Model-Based Design of Cyber Physical Systems. Lecture Notes in Computer Science, vol. 11971, pp. 59\u201385. Springer","DOI":"10.1007\/978-3-030-41131-2_4"},{"key":"877_CR27","doi-asserted-by":"crossref","unstructured":"Lohstroh, M., Schoeberl, M., Goens, A., Wasicek, A., Gill, C., Sirjani, M., Lee, E.A.: Actors revisited for time-critical systems. In: Proceedings of the 56th Annual Design Automation Conference, p. 152. ACM (2019)","DOI":"10.1145\/3316781.3323469"},{"key":"877_CR28","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":"877_CR29","doi-asserted-by":"crossref","unstructured":"Metelo, A., Braga, C., Brand\u00e3o, D.N.: Towards the modular specification and validation of cyber-physical systems: a case-study on reservoir modeling with hybrid automata. In: 18th International Conference on Computational Science and Its Applications, Part I. LNCS, vol. 10960, pp. 80\u201395. Springer (2018)","DOI":"10.1007\/978-3-319-95162-1_6"},{"key":"877_CR30","doi-asserted-by":"crossref","unstructured":"Nigro, L., Sciammarella, P.F.: Statistical model checking of cyber-physical systems using hybrid theatre. In: Proceedings of SAI Intelligent Systems Conference, pp. 1232\u20131251. Springer (2019)","DOI":"10.1007\/978-3-030-29516-5_91"},{"key":"877_CR31","volume-title":"Embedded Networking with CAN and CANopen","author":"O Pfeiffer","year":"2008","unstructured":"Pfeiffer, O., Ayre, A., Keydel, C.: Embedded Networking with CAN and CANopen, 1st edn. Copperhill Media Corporation, Greenfield (2008)","edition":"1"},{"issue":"1","key":"877_CR32","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1093\/logcom\/exn070","volume":"20","author":"A Platzer","year":"2010","unstructured":"Platzer, A.: Differential-algebraic dynamic logic for differential-algebraic programs. J. Log. Comput. 20(1), 309\u2013352 (2010)","journal-title":"J. Log. Comput."},{"key":"877_CR33","unstructured":"Ptolemaeus, C. (ed.): System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org (2014)"},{"key":"877_CR34","doi-asserted-by":"crossref","unstructured":"Sabouri, H., Khosravi, R.: Delta modeling and model checking of product families. In: 5th International Conference on Fundamentals of Software Engineering. LNCS, vol. 8161, pp. 51\u201365. Springer (2013)","DOI":"10.1007\/978-3-642-40213-5_4"},{"issue":"1","key":"877_CR35","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10703-007-0046-1","volume":"32","author":"S Sankaranarayanan","year":"2008","unstructured":"Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Constructing invariants for hybrid systems. Formal Methods Syst. Des. 32(1), 25\u201355 (2008)","journal-title":"Formal Methods Syst. Des."},{"key":"877_CR36","doi-asserted-by":"crossref","unstructured":"Sirjani, M.: Power is overrated, go for friendliness! expressivness versus faithfulness and usability in modeling-actor experience. In: Edward A. Lee Festschrift, LNCS, pp. 1\u201321. Springer (2018)","DOI":"10.1007\/978-3-319-95246-8_25"},{"key":"877_CR37","doi-asserted-by":"crossref","unstructured":"Sirjani, M., Jaghoori, M.M.: Ten years of analyzing actors: Rebeca experience. In: Formal Modeling: Actors, Open Systems, Biological Systems\u2014Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. LNCS, vol. 7000, pp. 20\u201356. Springer (2011)","DOI":"10.1007\/978-3-642-24933-4_3"},{"issue":"4","key":"877_CR38","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. Fundam. Inform. 63(4), 385\u2013410 (2004)","journal-title":"Fundam. Inform."},{"key":"877_CR39","doi-asserted-by":"crossref","unstructured":"Varshosaz, M., Khosravi, R.: Modeling and verification of probabilistic actor systems using prebeca. In: 14th International Conference on Formal Engineering Methods. LNCS, vol. 7635, pp. 135\u2013150. Springer (2012)","DOI":"10.1007\/978-3-642-34281-3_12"},{"issue":"1","key":"877_CR40","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/5.811598","volume":"88","author":"W Wolf","year":"2000","unstructured":"Wolf, W., Madsen, J.: Embedded systems education for the future. Proc. IEEE 88(1), 23\u201330 (2000)","journal-title":"Proc. IEEE"},{"key":"877_CR41","doi-asserted-by":"crossref","unstructured":"Yousefi, B., Ghassemi, F., Khosravi, R.: Modeling and efficient verification of broadcasting actors. In: 6th International Conference on Fundamentals of Software Engineering. LNCS, vol. 9392, pp. 69\u201383. Springer (2015)","DOI":"10.1007\/978-3-319-24644-4_5"},{"issue":"6","key":"877_CR42","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1007\/s00165-017-0429-z","volume":"29","author":"B Yousefi","year":"2017","unstructured":"Yousefi, B., Ghassemi, F., Khosravi, R.: Modeling and efficient verification of wireless ad hoc networks. Formal Asp. Comput. 29(6), 1051\u20131086 (2017)","journal-title":"Formal Asp. Comput."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00877-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-021-00877-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00877-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T08:08:02Z","timestamp":1623830882000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-021-00877-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,3]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["877"],"URL":"https:\/\/doi.org\/10.1007\/s10270-021-00877-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,4,3]]},"assertion":[{"value":"27 February 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 February 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 April 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}