{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:54:34Z","timestamp":1740099274885,"version":"3.37.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030047702"},{"type":"electronic","value":"9783030047719"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-04771-9_3","type":"book-chapter","created":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T17:02:53Z","timestamp":1544029373000},"page":"34-44","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1604-4465","authenticated-orcid":false,"given":"Cinzia","family":"Bernardeschi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0685-2864","authenticated-orcid":false,"given":"Andrea","family":"Domenici","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6177-0928","authenticated-orcid":false,"given":"Maurizio","family":"Palmieri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,6]]},"reference":[{"issue":"3","key":"3_CR1","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s00366-012-0286-6","volume":"29","author":"H Auweraer Van der","year":"2013","unstructured":"Van der Auweraer, H., Anthonis, J., De Bruyne, S., Leuridan, J.: Virtual engineering at work: the challenges for designing mechatronic products. Eng. Comput. 29(3), 389\u2013408 (2013). \nhttps:\/\/doi.org\/10.1007\/s00366-012-0286-6","journal-title":"Eng. Comput."},{"issue":"9","key":"3_CR2","doi-asserted-by":"publisher","first-page":"1342","DOI":"10.1109\/TCAD.2014.2329419","volume":"33","author":"C Bernardeschi","year":"2014","unstructured":"Bernardeschi, C., Cassano, L., Domenici, A., Sterpone, L.: ASSESS: a simulator of soft errors in the configuration memory of SRAM-based FPGAs. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 33(9), 1342\u20131355 (2014). \nhttps:\/\/doi.org\/10.1109\/TCAD.2014.2329419","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"key":"3_CR3","doi-asserted-by":"publisher","unstructured":"Bernardeschi, C., Cassano, L., Domenici, A.: Failure probability and fault observability of SRAM-FPGA systems. In: International Conference on Field Programmable Logic and Applications (FPL2011), pp. 385\u2013388. IEEE, Sep 2011. \nhttps:\/\/doi.org\/10.1109\/FPL.2011.75","DOI":"10.1109\/FPL.2011.75"},{"issue":"6","key":"3_CR4","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/j.ipl.2016.02.001","volume":"116","author":"C Bernardeschi","year":"2016","unstructured":"Bernardeschi, C., Domenici, A.: Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System. Inform. Process. Lett. 116(6), 409\u2013415 (2016). \nhttps:\/\/doi.org\/10.1016\/j.ipl.2016.02.001","journal-title":"Inform. Process. Lett."},{"issue":"6","key":"3_CR5","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1109\/TSE.2017.2694423","volume":"44","author":"C Bernardeschi","year":"2018","unstructured":"Bernardeschi, C., Domenici, A., Masci, P.: A PVS-simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Trans. Softw. Eng. 44(6), 512\u2013533 (2018). \nhttps:\/\/doi.org\/10.1109\/TSE.2017.2694423","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR6","doi-asserted-by":"publisher","unstructured":"Blochwitz, T., et al.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: Proceedings of the 9th International MODELICA Conference, 3\u20135 September 2012, Munich, Germany, pp. 173\u2013184. No. 76 in Link\u00f6ping Electronic Conference Proceedings. Link\u00f6ping University Electronic Press (2012). \nhttps:\/\/doi.org\/10.3384\/ecp12076173","DOI":"10.3384\/ecp12076173"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-319-10696-0_18","volume-title":"Quantitative Evaluation of Systems","author":"C Buchanan","year":"2014","unstructured":"Buchanan, C., Keefe, K.: Simulation debugging and visualization in the M\u00f6bius modeling framework. In: Norman, G., Sanders, W. (eds.) Quantitative Evaluation of Systems, pp. 226\u2013240. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-10696-0_18"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"398","DOI":"10.3390\/robotics4040398","volume":"4","author":"M Christiansen","year":"2015","unstructured":"Christiansen, M., Larsen, P., Nyholm J\u00f8rgensen, R.: Robotic design choice overview using co-simulation and design space exploration. Robotics 4, 398\u2013421 (2015). \nhttps:\/\/doi.org\/10.3390\/robotics4040398","journal-title":"Robotics"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Clark, G., et al.: The M\u00f6bius modeling tool. In: 9th International Workshop on Petri Nets and Performance Models, pp. 241\u2013250. IEEE Computer Society Press, Aachen, September 2001. \nhttps:\/\/doi.org\/10.1109\/PNPM.2001.953373","DOI":"10.1109\/PNPM.2001.953373"},{"issue":"10","key":"3_CR10","doi-asserted-by":"publisher","first-page":"956","DOI":"10.1109\/TSE.2002.1041052","volume":"28","author":"DD Deavours","year":"2002","unstructured":"Deavours, D.D., et al.: The M\u00f6bius framework and its implementation. IEEE Trans. Softw. Eng. 28(10), 956\u2013969 (2002). \nhttps:\/\/doi.org\/10.1109\/TSE.2002.1041052","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR11","doi-asserted-by":"publisher","unstructured":"Fitzgerald, J., Gamble, C., Larsen, P., Pierce, K., Woodcock, J.: Cyber-physical systems design: formal foundations, methods and integrated tool chains. In: Proceedings of the 2015 IEEE\/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE), pp. 40\u201346. IEEE (2015). \nhttps:\/\/doi.org\/10.1109\/FormaliSE.2015.14","DOI":"10.1109\/FormaliSE.2015.14"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"Ford, M.D., Keefe, K., LeMay, E., Sanders, W.H., Muehrcke, C.: Implementing the ADVISE security modeling formalism in M\u00f6bius. In: 2013 43rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 1\u20138, June 2013. \nhttps:\/\/doi.org\/10.1109\/DSN.2013.6575362","DOI":"10.1109\/DSN.2013.6575362"},{"key":"3_CR13","doi-asserted-by":"publisher","unstructured":"Gulati, R., Dugan, J.B.: A modular approach for analyzing static and dynamic fault trees. In: Annual Reliability and Maintainability Symposium, pp. 57\u201363. IEEE Computer Society Press (1997). \nhttps:\/\/doi.org\/10.1109\/RAMS.1997.571665","DOI":"10.1109\/RAMS.1997.571665"},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Iacono, M., Gribaudo, M.: Element based semantics in multi formalism performance models. In: 2010 IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pp. 413\u2013416, August 2010. \nhttps:\/\/doi.org\/10.1109\/MASCOTS.2010.54","DOI":"10.1109\/MASCOTS.2010.54"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Larsen, P.G., et al.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), pp. 1\u20136, April 2016. \nhttps:\/\/doi.org\/10.1109\/CPSData.2016.7496424","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"3_CR16","doi-asserted-by":"publisher","unstructured":"Lawrence, D.P.Y., Gomes, C., Denil, J., Vangheluwe, H., Buchs, D.: Coupling Petri nets with deterministic formalisms using co-simulation. In: Proceedings of the Symposium on Theory of Modeling & Simulation, TMS-DEVS 2016, pp. 6:1\u20136:8. Society for Computer Simulation International, San Diego (2016). \nhttps:\/\/doi.org\/10.23919\/TMS.2016.7918812","DOI":"10.23919\/TMS.2016.7918812"},{"key":"3_CR17","doi-asserted-by":"publisher","unstructured":"Liu, J., Jiang, K., Wang, X., Cheng, B., Du, D.: Improved co-simulation with event detection for stochastic behaviors of CPSs. In: 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC). vol. 1, pp. 209\u2013214 , June 2016. \nhttps:\/\/doi.org\/10.1109\/COMPSAC.2016.133","DOI":"10.1109\/COMPSAC.2016.133"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-39799-8_21","volume-title":"Computer Aided Verification","author":"T Mancini","year":"2013","unstructured":"Mancini, T., Mari, F., Massini, A., Melatti, I., Merli, F., Tronci, E.: System level formal verification via model checking driven simulation. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 296\u2013312. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-39799-8_21"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-61772-8_32","volume-title":"Dependable Computing \u2014 EDCC-2","author":"M Nelli","year":"1996","unstructured":"Nelli, M., Bondavalli, A., Simoncini, L.: Dependability modeling and analysis of complex control systems: An application to railway interlocking. In: Hlawiczka, A., Silva, J.G., Simoncini, L. (eds.) EDCC 1996. LNCS, vol. 1150, pp. 91\u2013110. Springer, Heidelberg (1996). \nhttps:\/\/doi.org\/10.1007\/3-540-61772-8_32"},{"key":"3_CR20","doi-asserted-by":"publisher","unstructured":"Oladimeji, P., Masci, P., Curzon, P., Thimbleby, H.: PVSio-web: a tool for rapid prototyping device user interfaces in PVS. In: FMIS2013, 5th International Workshop on Formal Methods for Interactive Systems, London, UK, 24 June 2013 (2013). \nhttps:\/\/doi.org\/10.14279\/tuj.eceasst.69.963.944","DOI":"10.14279\/tuj.eceasst.69.963.944"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_91","volume-title":"Computer Aided Verification","author":"S Owre","year":"1996","unstructured":"Owre, S., Rajan, S., Rushby, J.M., Shankar, N., Srivas, M.: PVS: Combining specification, proof checking, and model checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102. Springer, Berlin (1996). \nhttps:\/\/doi.org\/10.1007\/3-540-61474-5_91"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-319-74781-1_29","volume-title":"Software Engineering and Formal Methods","author":"M Palmieri","year":"2018","unstructured":"Palmieri, M., Bernardeschi, C., Masci, P.: Co-simulation of semi-autonomous systems: the\u00a0line follower robot case study. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 423\u2013437. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-74781-1_29"},{"key":"3_CR23","unstructured":"Payne, R., et al.: Examples Compendium 2. Tech. report D3.5, INTO-CPS Deliverable, December 2008"},{"issue":"24","key":"3_CR24","doi-asserted-by":"publisher","first-page":"3412","DOI":"10.1093\/bioinformatics\/btm517","volume":"23","author":"J Peccoud","year":"2007","unstructured":"Peccoud, J., Courtney, T., Sanders, W.H.: M\u00f6bius: an integrated discrete-event modeling environment. Bioinformatics 23(24), 3412\u20133414 (2007). \nhttps:\/\/doi.org\/10.1093\/bioinformatics\/btm517","journal-title":"Bioinformatics"},{"key":"3_CR25","doi-asserted-by":"publisher","unstructured":"Sanders, W.H.: Integrated frameworks for multi-level and multi-formalism modeling. In: Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331), pp. 2\u20139 (1999). \nhttps:\/\/doi.org\/10.1109\/PNPM.1999.796527","DOI":"10.1109\/PNPM.1999.796527"},{"key":"3_CR26","unstructured":"Sanders, W., Courtney, T., Deavours, D., Daly, D., Derisavi, S., Lam, V.: Multi-formalism and multi-solution-method modeling frameworks: The M\u00f6bius approach. In: Proceedings of Symposium on Performance Evaluation - Stories and Perspectives, Vienna, Austria, December 2003, pp. 241\u2013256 (2003)"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44667-2_9","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"WH Sanders","year":"2001","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic activity networks: formal definitions and concepts. In: Brinksma, E., Hermanns, H., Katoen, J.P. (eds.) EEF School 2000. LNCS, vol. 2090. Springer, Berlin (2001). \nhttps:\/\/doi.org\/10.1007\/3-540-44667-2_9"},{"issue":"1","key":"3_CR28","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1002\/bit.1171","volume":"75","author":"R Srivastava","year":"2001","unstructured":"Srivastava, R., Peterson, M.S., Bentley, W.E.: Stochastic kinetic analysis of the Escherichia coli stress circuit using $$\\sigma ^{32}$$-targeted antisense. Biotechnol. Bioeng. 75(1), 120\u2013129 (2001). \nhttps:\/\/doi.org\/10.1002\/bit.1171","journal-title":"Biotechnol. Bioeng."},{"issue":"5","key":"3_CR29","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1197\/jamia.M1103","volume":"9","author":"D Tsavachidou","year":"2002","unstructured":"Tsavachidou, D., Liebman, M.N.: Modeling and simulation of pathways in menopause. J. Am. Med. Inform. Assoc. 9(5), 461\u2013471 (2002). \nhttps:\/\/doi.org\/10.1197\/jamia.M1103","journal-title":"J. Am. Med. Inform. Assoc."},{"key":"3_CR30","doi-asserted-by":"publisher","unstructured":"Vangheluwe, H.: Foundations of modelling and simulation of complex systems. Electronic Communications of the EASST 10 (2008). \nhttps:\/\/doi.org\/10.14279\/tuj.eceasst.10.162.148","DOI":"10.14279\/tuj.eceasst.10.162.148"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04771-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T17:06:37Z","timestamp":1544029597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04771-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030047702","9783030047719"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04771-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.staf2018.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}