{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T16:30:18Z","timestamp":1759941018678,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319175805"},{"type":"electronic","value":"9783319175812"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-17581-2_13","type":"book-chapter","created":{"date-parts":[[2015,4,15]],"date-time":"2015-04-15T12:22:36Z","timestamp":1429100556000},"page":"189-205","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Analyzing Industrial Architectural Models by Simulation and Model-Checking"],"prefix":"10.1007","author":[{"given":"Raluca","family":"Marinescu","sequence":"first","affiliation":[]},{"given":"Henrik","family":"Kaijser","sequence":"additional","affiliation":[]},{"given":"Marius","family":"Miku\u010dionis","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"L\u00f6nn","sequence":"additional","affiliation":[]},{"given":"Alexandre","family":"David","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,16]]},"reference":[{"key":"13_CR1","unstructured":"Eclipse. The EAST-ADL Tool Platform (EATOP) Editor Tool (2014). http:\/\/www.eclipse.org\/proposals\/modeling.eatop\/"},{"key":"13_CR2","unstructured":"Mathworks. The MATLAB Simulink Design Tool (2014). http:\/\/www.mathworks.se\/products\/simulink\/"},{"key":"13_CR3","unstructured":"Modelica Association Project. The Functional Mock-up Interface (FMI) Standard (2014). http:\/\/www.fmi-standard.org\/"},{"key":"13_CR4","unstructured":"The AUTomotive Open System ARchitecture (AUTOSAR) (2014). http:\/\/www.autosar.org\/"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R Alur","year":"1999","unstructured":"Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"key":"13_CR6","unstructured":"Biehl, M., Sj\u00f6stedt, C.-J., T\u00f6rngren, M.: A modular tool integration approach- experiences from two case studies. In: 3rd Workshop on Model-Driven Tool & Process Integration at the European Conference on Modelling Foundations and Applications (2010)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Blom, H., L\u00f6nn, H., Hagl, F., Papadopoulos, Y., Reiser, M.-O., Sj\u00f6stedt, C.-J., Chen, D.J., Tagliab\u00f2, F., Torchiaro, S., Tucci, S.: EAST-ADL: An architecture description language for automotive software-intensive systems. EAST-ADL WhitePaper, vol. 1 (2013)","DOI":"10.4018\/IJSDA.2016070101"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Cuenot, P., Chen, D., Gerard, S., Lonn, H., Reiser, M.-O., Servat, D., Sjostedt, C.-J., Kolagari, R.T., Torngren, M., Weber, M.: Managing complexity of automotive electronics using the EAST-ADL. In: 12th IEEE International Conference on Engineering Complex Computer Systems, pp. 353\u2013358. IEEE (2007)","DOI":"10.1109\/ICECCS.2007.28"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-24310-3_7","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A David","year":"2011","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., van Vliet, J., Wang, Z.: Statistical model checking for networks of priced timed automata. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol. 6919, pp. 80\u201396. Springer, Heidelberg (2011)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-22110-1_27","volume-title":"Computer Aided Verification","author":"A David","year":"2011","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Wang, Z.: Time for statistical model checking of real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 349\u2013355. Springer, Heidelberg (2011)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-34032-1_28","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"A David","year":"2012","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M.: Schedulability of herschel-planck revisited using statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 293\u2013307. Springer, Heidelberg (2012)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Feng, L., Chen, D., L\u00f6nn, H., Torngren, M.: Verifying system behaviors in EAST-ADL2 with the SPIN model checker. In: International Conference on Mechatronics and Automation, pp. 144\u2013149 (2010)","DOI":"10.1109\/ICMA.2010.5588261"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.ress.2013.06.007","volume":"120","author":"E-Y Kang","year":"2013","unstructured":"Kang, E.-Y., Enoiu, E.P., Marinescu, R., Seceleanu, C., Schobbens, P.-Y., Pettersson, P.: A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. Int. J. 120, 127\u2013138 (2013)","journal-title":"Reliab. Eng. Syst. Saf. Int. J."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Mallet, F., Peraldi-Frati, M.-A., Andr\u00e9, C.: Marte CCSL to execute EAST-ADL timing requirements. In: International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing, pp. 249\u2013253. IEEE (2009)","DOI":"10.1109\/ISORC.2009.18"},{"key":"13_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-3879-3_5","volume-title":"Embedded Systems Development","author":"TN Qureshi","year":"2014","unstructured":"Qureshi, T.N., Chen, D.-J., Persson, M., Trngren, M.: On integrating EAST-ADL and UPPAAL for embedded system architecture verification. In: Sangiovanni-Vincentelli, A. (ed.) Embedded Systems Development, vol. 20. Springer, New York (2014)"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17581-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,16]],"date-time":"2023-02-16T22:32:54Z","timestamp":1676586774000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17581-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319175805","9783319175812"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17581-2_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}