{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:37:06Z","timestamp":1761323826453,"version":"3.40.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,7,6]],"date-time":"2012-07-06T00:00:00Z","timestamp":1341532800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10009-012-0245-y","type":"journal-article","created":{"date-parts":[[2012,7,6]],"date-time":"2012-07-06T17:08:42Z","timestamp":1341594522000},"page":"211-228","source":"Crossref","is-referenced-by-count":10,"title":["Timed-automata based schedulability analysis for distributed firm real-time systems: a case study"],"prefix":"10.1007","volume":"15","author":[{"given":"Thi Thieu Hoa","family":"Le","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Palopoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yusi","family":"Ramadian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,6]]},"reference":[{"key":"245_CR1","volume-title":"Real-Time Systems, 1st edn","author":"J.W.S.W. Liu","year":"2000","unstructured":"Liu J.W.S.W.: Real-Time Systems, 1st edn. Prentice Hall, PTR, Upper Saddle River (2000)"},{"issue":"2","key":"245_CR2","doi-asserted-by":"crossref","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. Theor. Comput. Sci 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci"},{"key":"245_CR3","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen K.G., Pettersson P., Yi W.: Uppaal in a nutshell Int. J. Softw. Tools Technol. Transf. 1, 134\u2013152 (1997)","journal-title":"J. Softw. Tools Technol. Transf."},{"key":"245_CR4","unstructured":"EADS Innovation Works: Case study on distributed heterogeneous communication systems (hcs), Germany. http:\/\/www.combest.eu\/home\/?link=Application1 (2009)"},{"key":"245_CR5","unstructured":"IEEE Standard 1588\u20132002: A precision clock synchronization protocol for networked measurement and control systems. November (2002)"},{"issue":"6","key":"245_CR6","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1109\/71.774906","volume":"10","author":"P. Ramanathan","year":"1999","unstructured":"Ramanathan P.: Overload management in real-time control applications using (m, k)-firm guarantee. Parallel Distrib. Syst. IEEE Trans. 10(6), 549\u2013559 (1999)","journal-title":"Parallel Distrib. Syst. IEEE Trans."},{"key":"245_CR7","first-page":"495","volume-title":"Nusmv: a new symbolic model verifier","author":"A. Cimatti","year":"1999","unstructured":"Cimatti A., Clarke E., Giunchiglia F., Roveri M.: Nusmv: a new symbolic model verifier, pp. 495\u2013499. Springer, Berlin (1999)"},{"issue":"6","key":"245_CR8","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1007\/s10009-006-0019-5","volume":"8","author":"E. Wandeler","year":"2006","unstructured":"Wandeler E., Thiele L., Verhoef M., Lieverse P.: System architecture evaluation using modular performance analysis: a case study. STTT 8(6), 649\u2013667 (2006)","journal-title":"STTT"},{"key":"245_CR9","first-page":"101","volume":"4","author":"L. Thiele","year":"2000","unstructured":"Thiele L., Chakraborty S., Naedele M.: Real-time calculus for scheduling hard real-time systems. Proc. Intl. Symposium Circ. Syst. 4, 101\u2013104 (2000)","journal-title":"Proc. Intl. Symposium Circ. Syst."},{"key":"245_CR10","unstructured":"Suppiger, U., Perathoner, S., Lampka, K., Thiele, L.: Modular performance analysis of large-scale distributed embedded systems: an industrial case study. Computer Engineering and Networks Laboratory, ETH Zurich, TIK Report 330, November (2010)"},{"key":"245_CR11","doi-asserted-by":"crossref","unstructured":"Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In: EMSOFT\u201909: Proceedings of the 7th ACM international conference on embedded software, pp. 107\u2013116. ACM, New York, NY, USA (2009)","DOI":"10.1145\/1629335.1629351"},{"issue":"3","key":"245_CR12","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s10617-010-9055-1","volume":"14","author":"K. Lampka","year":"2010","unstructured":"Lampka K., Perathoner S., Thiele L.: Analytic real-time analysis and timed automata: A hybrid methodology for the performance analysis of embedded real-time systems. Des. Autom. Embed. Syst. 14(3), 193\u2013227 (2010)","journal-title":"Des. Autom. Embed. Syst."},{"issue":"2","key":"245_CR13","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1049\/ip-cdt:20045088","volume":"152","author":"R. Henia","year":"2005","unstructured":"Henia R., Hamann A., Jersak M., Racu R., Richter K., Ernst R.: System level performance analysis-the SymTA\/S approach. IEEE Proc Comput. Digit. Tech. 152(2), 148\u2013166 (2005)","journal-title":"IEEE Proc Comput. Digit. Tech."},{"key":"245_CR14","doi-asserted-by":"crossref","unstructured":"Racu, R., Jersak. M., Ernst, R.: Applying sensitivity analysis in real-time distributed systems. In: RTAS \u201905: Proceedings of the 11th IEEE real time on embedded technology and applications symposium, pp. 160\u2013169. IEEE Computer Society, Washington, DC, USA (2005)","DOI":"10.1109\/RTAS.2005.10"},{"key":"245_CR15","unstructured":"Basu, A., Bensalem, S., Bozga, M., Caillaud, B., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. In: Hatcliff, J., Zucca, E. (eds.) Formal techniques for distributed systems, Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7\u20139, 2010. Proceedings, ser. Lecture notes in computer science, vol. 6117, pp. 32\u201346. Springer, Berlin (2010)"},{"key":"245_CR16","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: SEFM06, pp. 3\u201312. Pune, India, September (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"245_CR17","doi-asserted-by":"crossref","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES: a tool for schedulability analysis and code generation of real-time systems. In: FORMATS, pp. 60\u201372 (2003)","DOI":"10.1007\/978-3-540-40903-8_6"},{"key":"245_CR18","doi-asserted-by":"crossref","unstructured":"Le, T.T.H., Palopoli, L., Passerone, R., Ramadian, Y., Cimatti, A.: Parametric analysis of distributed firm real-time systems: a case study. In: Proceedings of the 15th IEEE international conference on emerging technologies and factory automation (ETFA10), pp. 1\u20138. Bilbao, Spain, September 13\u201316 (2010)","DOI":"10.1109\/ETFA.2010.5641315"},{"key":"245_CR19","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Palopoli, L., Ramadian, Y.: Symbolic computation of schedulability regions using parametric timed automata. In: Real-Time Systems Symposium, pp. 80\u201389. Dec 3 (2008)","DOI":"10.1109\/RTSS.2008.36"},{"key":"245_CR20","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Mover, S., Tonetta, S.: Hydi: A language for symbolic hybrid systems with discrete interaction. In: EUROMICRO-SEAA, pp. 275\u2013278 (2011)","DOI":"10.1109\/SEAA.2011.49"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0245-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0245-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0245-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T12:51:12Z","timestamp":1743684672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0245-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,6]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["245"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0245-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2012,7,6]]}}}