{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:26:20Z","timestamp":1740108380032,"version":"3.37.3"},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,1,25]],"date-time":"2016-01-25T00:00:00Z","timestamp":1453680000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme (BE)","doi-asserted-by":"publisher","award":["IST-33826"],"award-info":[{"award-number":["IST-33826"]}],"id":[{"id":"10.13039\/501100004965","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["FP7-231620"],"award-info":[{"award-number":["FP7-231620"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"name":"European Research Consortium for Informatics and Mathematics (ERCIM) (FR)"},{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme","doi-asserted-by":"publisher","award":["IST-33826"],"award-info":[{"award-number":["IST-33826"]}],"id":[{"id":"10.13039\/501100004965","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme","doi-asserted-by":"publisher","award":["IST-33826"],"award-info":[{"award-number":["IST-33826"]}],"id":[{"id":"10.13039\/501100004965","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme (BE)","doi-asserted-by":"publisher","award":["FP7-231620"],"award-info":[{"award-number":["FP7-231620"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s00236-015-0254-x","type":"journal-article","created":{"date-parts":[[2016,1,25]],"date-time":"2016-01-25T04:30:59Z","timestamp":1453696259000},"page":"343-378","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Compositional schedulability analysis of real-time actor-based systems"],"prefix":"10.1007","volume":"54","author":[{"given":"Mohammad Mahdi","family":"Jaghoori","sequence":"first","affiliation":[]},{"given":"Frank","family":"de Boer","sequence":"additional","affiliation":[]},{"given":"Delphine","family":"Longuet","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Chothia","sequence":"additional","affiliation":[]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,25]]},"reference":[{"key":"254_CR1","doi-asserted-by":"publisher","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: Proceedings of Foundations of Coordination Languages and Software Architectures (FOCLASA\u201911), volume 58 of EPTCS, pp. 1\u201319 (2011)","DOI":"10.4204\/EPTCS.58.1"},{"key":"254_CR2","doi-asserted-by":"crossref","unstructured":"Acharya, A., Ranganathan, M., Saltz, J.H.: Sumatra: A language for resource-aware mobile programs. In: Mobile Object Systems, pp. 111\u2013130 (1996)","DOI":"10.1007\/3-540-62852-5_10"},{"key":"254_CR3","doi-asserted-by":"crossref","unstructured":"Agha, G.: The structure and semantics of actor languages. In: Proceedings of the REX, Workshop, pp 1\u201359 (1990)","DOI":"10.1007\/BFb0019439"},{"key":"254_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G Agha","year":"1997","unstructured":"Agha, G., Mason, I., Smith, S., Talcott, C.: A foundation for actor computation. J. Funct. Program. 7, 1\u201372 (1997)","journal-title":"J. Funct. Program."},{"key":"254_CR5","doi-asserted-by":"publisher","unstructured":"Aldrich, J., Sunshine, J., Saini, D., Sparks, Z.: Typestate-oriented programming. In: Proceedings of 24th ACM SIGPLAN conference companion on object oriented programming systems languages and applications, OOPSLA \u201909, pp. 1015\u20131022 (2009)","DOI":"10.1145\/1639950.1640073"},{"issue":"1\u20132","key":"254_CR6","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1023\/A:1015346419267","volume":"23","author":"K Altisen","year":"2002","unstructured":"Altisen, K., G\u00f6\u00dfler, G., Sifakis, J.: Scheduler modeling based on the controller synthesis paradigm. Real-Time Syst. 23(1\u20132), 55\u201384 (2002)","journal-title":"Real-Time Syst."},{"issue":"2","key":"254_CR7","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comp. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theoret. Comp. Sci."},{"key":"254_CR8","doi-asserted-by":"publisher","unstructured":"Alur, R., Weiss, G.: Rtcomposer: a framework for real-time components with scheduling interfaces. In: de Alfaro, L., Palsberg, J. (eds.) Proceedings of Embedded software (EMSOFT\u201908), pp. 159\u2013168. ACM (2008)","DOI":"10.1145\/1450058.1450080"},{"issue":"9","key":"254_CR9","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/1810891.1810910","volume":"53","author":"J Armstrong","year":"2010","unstructured":"Armstrong, J.: Erlang. Commun. ACM 53(9), 68\u201375 (2010)","journal-title":"Commun. ACM"},{"issue":"2\u20133","key":"254_CR10","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/FI-1998-36233","volume":"36","author":"B B\u00e9rard","year":"1998","unstructured":"B\u00e9rard, B., Petit, A., Diekert, V., Gastin, P.: Characterization of the expressive power of silent transitions in timed automata. Fundam. Inf. 36(2\u20133), 145\u2013182 (1998)","journal-title":"Fundam. Inf."},{"key":"254_CR11","doi-asserted-by":"publisher","unstructured":"Berman, F., Wolski, R.: Scheduling from the perspective of the application. In: Proceedings of High Performance Distributed Computing (HPDC\u201996), pp. 100\u2013111. IEEE Computer Society (1996)","DOI":"10.1109\/HPDC.1996.546178"},{"key":"254_CR12","doi-asserted-by":"publisher","unstructured":"Bertrand, N., Stainer, A., J\u00e9ron, T., Krichen, M.: A game approach to determinize timed automata. In: Proceedings of foundations of software science and computational structures, FOSSACS\u201911\/ETAPS\u201911, pp. 245\u2013259. Springer (2011)","DOI":"10.1007\/978-3-642-19805-2_17"},{"key":"254_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0676-1","volume-title":"Hard Real-Time Computing Systems","author":"G Buttazzo","year":"2011","unstructured":"Buttazzo, G.: Hard Real-Time Computing Systems, 3rd edn. Springer, Berlin (2011)","edition":"3"},{"key":"254_CR14","doi-asserted-by":"publisher","unstructured":"Cardell-Oliver, R., Glover, T.: A practical and complete algorithm for testing real-time systems. In: Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT\u201998), volume 1486 of Lecture Notes in Computer Science, pp. 251\u2013261 (1998)","DOI":"10.1007\/BFb0055352"},{"issue":"2","key":"254_CR15","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/s00165-005-0064-y","volume":"17","author":"S Cattani","year":"2005","unstructured":"Cattani, S., Kwiatkowska, M.Z.: A refinement-based process algebra for timed automata. Formal Asp. Comput. 17(2), 138\u2013159 (2005)","journal-title":"Formal Asp. Comput."},{"key":"254_CR16","doi-asserted-by":"publisher","unstructured":"Chang, P.-H., Agha, G.: Supporting reconfigurable object distribution for customized web applications. In: The 22nd Annual ACM Symposium on Applied Computing (SAC), pp. 1286\u20131292 (2007)","DOI":"10.1145\/1244002.1244280"},{"key":"254_CR17","doi-asserted-by":"publisher","unstructured":"Chang, P.-H., Agha, G.: Towards context-aware web applications. In: 7th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), pp. 239\u2013252 (2007)","DOI":"10.1007\/978-3-540-72883-2_18"},{"key":"254_CR18","unstructured":"Cheong, E.: Actor-Oriented Programming for Wireless Sensor Networks. PhD thesis, Electrical Engineering and Computer Sciences University of California at Berkeley (2007)"},{"key":"254_CR19","doi-asserted-by":"publisher","unstructured":"Cheong, E., Lee, E.A., Zhao, Y.: Viptos: a graphical development and simulation environment for tinyos-based wireless sensor networks. In: Proceedings of Embedded net. sensor sys., SenSys 2005, pp. 302\u2013302 (2005)","DOI":"10.1145\/1098918.1098967"},{"key":"254_CR20","doi-asserted-by":"publisher","unstructured":"Clarke, D., Lee, I.: Automatic test generation for the analysis of a real-time system: case study. In: IEEE Real Time Technology and Applications Symposium, pp. 112\u2013124 (1997)","DOI":"10.1109\/RTTAS.1997.601349"},{"key":"254_CR21","doi-asserted-by":"publisher","unstructured":"Closse, E., Poize, M., Pulou, J., Sifakis, J., Venter, P., Weil, D., Yovine, S.: TAXYS: A tool for the development and verification of real-time embedded systems. In: Berry, G., Comon, H., Finkel, A. (eds.) Proceedings of Computer Aided Verification, volume 2102 of LNCS, pp. 391\u2013395. Springer (2001)","DOI":"10.1007\/3-540-44585-4_39"},{"issue":"4","key":"254_CR22","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/BF00709157","volume":"1","author":"C Courcoubetis","year":"1992","unstructured":"Courcoubetis, C., Yannakakis, M.: Minimum and maximum delay problems in real-time systems. Form. Methods Syst. Des. 1(4), 385\u2013415 (1992)","journal-title":"Form. Methods Syst. Des."},{"key":"254_CR23","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Timed I\/O automata: a complete specification theory for real-time systems. In: Proceedings of Hybrid Systems: Computation and Control (HSCC\u201910), pp. 91\u2013100. ACM (2010)","DOI":"10.1145\/1755952.1755967"},{"key":"254_CR24","doi-asserted-by":"publisher","unstructured":"de Alfaro, L., Henzinger, T.A., Stoelinga, M.: Timed interfaces. In: Proceedings of Embedded Software (EMSOFT), volume 2491 of LNCS, pp. 108\u2013122 (2002)","DOI":"10.1007\/3-540-45828-X_9"},{"issue":"8","key":"254_CR25","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E Fersman","year":"2007","unstructured":"Fersman, E., Krcal, P., Pettersson, P., Yi, W.: Task automata: schedulability, decidability and undecidability. Inf. Comput. 205(8), 1149\u20131172 (2007)","journal-title":"Inf. Comput."},{"key":"254_CR26","doi-asserted-by":"publisher","unstructured":"Finkel, O.: Undecidable problems about timed automata. In: Asarin, E., Bouyer, P. (eds.) Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS\u201906), volume 4202 of LNCS, pp. 187\u2013199. Springer (2006)","DOI":"10.1007\/11867340_14"},{"key":"254_CR27","doi-asserted-by":"publisher","unstructured":"Garcia, J.J.G., Gutierrez, J.C.P., Harbour, M.G.: Schedulability analysis of distributed hard real-time systems with multiple-event synchronization. In: Proceedings of 12th Euromicro Conference on Real-Time Systems, pp. 15\u201324. IEEE (2000)","DOI":"10.1109\/EMRTS.2000.853988"},{"key":"254_CR28","doi-asserted-by":"publisher","unstructured":"Geilen, S., Tripakis, M., Wiggers, M.: The earlier the better: a theory of timed actor interfaces. In: Caccamo, M., Frazzoli, E., Grosu, R. (eds.) Proceedings of Hybrid Systems: Computation and Control (HSCC\u201911), pp. 23\u201332. ACM (2011)","DOI":"10.1145\/1967701.1967707"},{"key":"254_CR29","doi-asserted-by":"crossref","unstructured":"Grabe, I., Jaghoori, M.M., Klein, J., Kl\u00fcppelholz, S., Stam, A., Baier, C., Blechmann, T., Aichernig, B.K., de Boer, F.S., Griesmayer, A., Johnsen, E.B., Kyas, M., Leister, W., Schlatte, R., Steffen, M., Tschirner, S., Liang, X., Yi, W.: The credo methodology - (extended version). In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) Proceedings of 8th Formal Methods for Components and Objects (FMCO\u201909), volume 6286 of LNCS, pp. 41\u201369 (2009)","DOI":"10.1007\/978-3-642-17071-3_3"},{"issue":"2\u20133","key":"254_CR30","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."},{"issue":"2","key":"254_CR31","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"TA Henzinger","year":"1994","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. Comput. 111(2), 193\u2013244 (1994)","journal-title":"Inf. Comput."},{"key":"254_CR32","doi-asserted-by":"publisher","unstructured":"Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using uppaal. In: Formal Methods and Testing, volume 4949 of LNCS, pp. 77\u2013117 (2008)","DOI":"10.1007\/978-3-540-78917-8_3"},{"key":"254_CR33","unstructured":"Hewitt, C.: Procedural embedding of knowledge in planner. In: Proceedings of the 2nd International Joint Conference on Artificial Intelligence, pp. 167\u2013184 (1971)"},{"key":"254_CR34","doi-asserted-by":"publisher","unstructured":"Hewitt, C.: What is commitment? physical, organizational, and social (revised). In: Proceedings of Coordination, Organizations, Institutions, and Norms in Agent Systems II, LNCS Series, pp. 293\u2013307. Springer (2007)","DOI":"10.1007\/978-3-540-74459-7_19"},{"key":"254_CR35","doi-asserted-by":"publisher","unstructured":"Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., Pister, K.: System architecture directions for networked sensors. In Proc. Arch. Support for Prog. Lang. and Operating Sys., pages 93\u2013104, (2000)","DOI":"10.1145\/378993.379006"},{"key":"254_CR36","doi-asserted-by":"crossref","unstructured":"Jaghoori, M.M.: Composing real-time concurrent objects\u2014refinement, compatibility and schedulability. In: Proceedings of Fundamentals of Software Engineering (FSEN\u201911), volume 7141 of LNCS, pp. 96\u2013111. Springer (2011)","DOI":"10.1007\/978-3-642-29320-7_7"},{"key":"254_CR37","doi-asserted-by":"publisher","unstructured":"Jaghoori, M.M.: From nonpreemptive to preemptive scheduling: from single-processor to multi-processor. In: Chu, W.C., Wong, W.E., Palakal, M.J., Hung, C.-C. (eds.) Proceedings of ACM Symposium on Applied Computing (SAC\u201911), pp. 717\u2013722. ACM (2011)","DOI":"10.1145\/1982185.1982342"},{"issue":"5","key":"254_CR38","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1016\/j.jlap.2009.02.009","volume":"78","author":"MM Jaghoori","year":"2009","unstructured":"Jaghoori, M.M., de Boer, F.S., Chothia, T., Sirjani, M.: Schedulability of asynchronous real-time concurrent objects. J. Logic Alg. Prog. 78(5), 402\u2013416 (2009)","journal-title":"J. Logic Alg. Prog."},{"key":"254_CR39","doi-asserted-by":"publisher","unstructured":"Jaghoori, M.M., Hlynsson, \u00d3., Sirjani, M.: Networks of real-time actors. In: Arbab, F., \u00d6lveczky, P.C. (eds.) Formal Aspects of Component Software - 8th International Symposium (FACS\u201911), volume 7253 of LNCS, pp. 168\u2013186. Springer (2012)","DOI":"10.1007\/978-3-642-35743-5_11"},{"key":"254_CR40","doi-asserted-by":"publisher","unstructured":"Jaghoori, M.M., Longuet, D., de Boer, F.S., Chothia, T.: Schedulability and compatibility of real time asynchronous objects. In: Proceedings of Real Time Systems Symposium, pp. 70\u201379. IEEE CS (2008)","DOI":"10.1109\/RTSS.2008.28"},{"key":"254_CR41","doi-asserted-by":"publisher","unstructured":"Jard, C., J\u00e9ron, T., Morel, P.: Verification of test suites. In: International Conference on Testing Communicating Systems (TestCom 2000), pp. 3\u201318 (2000)","DOI":"10.1007\/978-0-387-35516-0_1"},{"issue":"1","key":"254_CR42","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"EB Johnsen","year":"2007","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Softw. Syst. Model. 6(1), 35\u201358 (2007)","journal-title":"Softw. Syst. Model."},{"key":"254_CR43","doi-asserted-by":"publisher","unstructured":"Karmani, R.K., Shali, A., Agha, G.: Actor frameworks for the jvm platform: a comparative analysis. In: Proceedings of Principles and Practice of Progress in Java (PPPJ\u201909), pp. 11\u201320. ACM (2009)","DOI":"10.1145\/1596655.1596658"},{"key":"254_CR44","doi-asserted-by":"publisher","unstructured":"Khoumsi, A., J\u00e9ron, T., Marchand, H.: Test cases generation for nondeterministic real-time systems. In: Formal Approaches to Software Testing (FATES\u201903), volume 2931 of LNCS, pp. 131\u2013146 (2004)","DOI":"10.1007\/978-3-540-24617-6_10"},{"key":"254_CR45","doi-asserted-by":"publisher","unstructured":"Kloukinas, C., Yovine, S.: Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems. In: Proceedings of Euromicro Conference on Real-Time Systems, pp. 287\u2013294. IEEE CS (2003)","DOI":"10.1109\/EMRTS.2003.1212754"},{"key":"254_CR46","doi-asserted-by":"publisher","unstructured":"Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Model Checking Software, 11th International SPIN Workshop, volume 2989 of LNCS, pp. 109\u2013126 (2004)","DOI":"10.1007\/978-3-540-24732-6_8"},{"issue":"3","key":"254_CR47","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/s10703-009-0065-1","volume":"34","author":"M Krichen","year":"2009","unstructured":"Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Form. Methods Syst. Des. 34(3), 238\u2013304 (2009)","journal-title":"Form. Methods Syst. Des."},{"issue":"2","key":"254_CR48","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1006\/inco.2000.2893","volume":"164","author":"O Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.Y., Wolper, P.: Module checking. Inf. Comput. 164(2), 322\u2013344 (2001)","journal-title":"Inf. Comput."},{"issue":"1\u20132","key":"254_CR49","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transf. (STTT) 1(1\u20132), 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"254_CR50","doi-asserted-by":"publisher","unstructured":"Lee, E.A., Liu, X., Neuendorffer, S.: Classes and inheritance in actor-oriented design. ACM Trans. Embedded Comput. Syst. 8(4), (2009)","DOI":"10.1145\/1550987.1550992"},{"issue":"3","key":"254_CR51","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1142\/S0218126603000751","volume":"12","author":"EA Lee","year":"2003","unstructured":"Lee, E.A., Neuendorffer, S., Wirthlin, M.J.: Actor-oriented design of embedded hardware and software systems. J. Circuits Syst. Comput. 12(3), 231\u2013260 (2003)","journal-title":"J. Circuits Syst. Comput."},{"key":"254_CR52","doi-asserted-by":"crossref","unstructured":"MacKenzie, K., Wolverson, N.: Camelot and grail: resource-aware functional programming for the jvm. In: Trends in Functional Programming, pp. 29\u201346 (2003)","DOI":"10.2307\/j.ctv36xvxxx.6"},{"key":"254_CR53","unstructured":"Meyer, B.: Eiffel: The Language. Prentice-Hall, New Jersey, 1992. (first printing: 1991)"},{"issue":"3","key":"254_CR54","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1145\/1065887.1065891","volume":"27","author":"L Moreau","year":"2005","unstructured":"Moreau, L., Queinnec, C.: Resource aware programming. ACM Trans. Program. Lang. Syst. 27(3), 441\u2013476 (2005)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"254_CR55","doi-asserted-by":"publisher","unstructured":"Nielsen, B., Skou, A.: Automated test generation from timed automata. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201901), volume 2031 of LNCS, pp. 343\u2013357 (2001)","DOI":"10.1007\/3-540-45319-9_24"},{"key":"254_CR56","doi-asserted-by":"publisher","unstructured":"Nigro, L., Pupo, F.: Schedulability analysis of real time actor systems using coloured petri nets. In: Proceedings of Concurrent Object-Oriented Prog. and Petri Nets, volume 2001 of LNCS, pp. 493\u2013513. Springer (2001)","DOI":"10.1007\/3-540-45397-0_21"},{"key":"254_CR57","doi-asserted-by":"publisher","unstructured":"Nobakht, B., de Boer, F.S., Jaghoori, M.M., Schlatte, R.: Programming and deployment of active objects with application-level scheduling. In: Proceedings of ACM Symposium on Applied Computing (SAC\u201912). ACM (2012). To appear","DOI":"10.1145\/2245276.2232086"},{"key":"254_CR58","doi-asserted-by":"publisher","unstructured":"Rajamani, S., Rehof, J.: A behavioral module system for the pi-calculus. In: Cousot, P. (ed.) Static Analysis Symposium. LNCS, vol. 2126, pp. 375\u2013394. Springer, Berlin (2001)","DOI":"10.1007\/3-540-47764-0_22"},{"issue":"1\u20132","key":"254_CR59","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0304-3975(98)00214-X","volume":"211","author":"G Reed","year":"1999","unstructured":"Reed, G., Roscoe, A.: The timed failures - stability model for CSP. Theor. Comput. Sci. 211(1\u20132), 85\u2013127 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"254_CR60","doi-asserted-by":"publisher","unstructured":"Schmaltz, J., Tretmans, J.: On conformance testing for timed systems. In: Formal Modeling and Analysis of Timed Systems, volume 5215 of LNCS, pp. 250\u2013264. Springer (2008)","DOI":"10.1007\/978-3-540-85778-5_18"},{"key":"254_CR61","doi-asserted-by":"publisher","first-page":"30:1","DOI":"10.1145\/1347375.1347383","volume":"7","author":"I Shin","year":"2008","unstructured":"Shin, I., Lee, I.: Compositional real-time scheduling framework with periodic model. ACM Trans. Embed. Comput. Syst. 7, 30:1\u201330:39 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"4","key":"254_CR62","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/s100090100059","volume":"3","author":"DPL Simons","year":"2001","unstructured":"Simons, D.P.L., Stoelinga, M.: Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. Int. J. Softw. Tools Technol. Transf. (STTT) 3(4), 469\u2013485 (2001)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"254_CR63","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 - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday, volume 7000 of LNCS, pp. 20\u201356. Springer (2011)","DOI":"10.1007\/978-3-642-24933-4_3"},{"issue":"3","key":"254_CR64","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw. Conc. Tools 17(3), 103\u2013120 (1996)","journal-title":"Softw. Conc. Tools"},{"key":"254_CR65","doi-asserted-by":"publisher","unstructured":"Tripakis, S.: Verifying progress in timed systems. In: Katoen, J-P. (ed.) Formal Methods for Real-Time and Probabilistic Systems. LNCS, vol. 1601, pp. 299\u2013314. Springer, Berlin, Heidelberg (1999). doi: 10.1007\/3-540-48778-6_18","DOI":"10.1007\/3-540-48778-6_18"},{"key":"254_CR66","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1016\/j.ipl.2006.04.015","volume":"99","author":"S Tripakis","year":"2006","unstructured":"Tripakis, S.: Folk theorems on the determinization and minimization of timed automata. Inf. Process. Lett. 99, 222\u2013226 (2006)","journal-title":"Inf. Process. Lett."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0254-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-015-0254-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0254-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-015-0254-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T16:11:07Z","timestamp":1692202267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-015-0254-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,25]]},"references-count":66,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["254"],"URL":"https:\/\/doi.org\/10.1007\/s00236-015-0254-x","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[2016,1,25]]}}}