{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T16:12:29Z","timestamp":1744215149090},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T00:00:00Z","timestamp":1568937600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T00:00:00Z","timestamp":1568937600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Lucian Blaga University of Sibiu research grants","award":["LBUS-IRG-2018-04"],"award-info":[{"award-number":["LBUS-IRG-2018-04"]}]},{"name":"DiFiCIL project","award":["contract no. 69\/08.09.2016","ID P_37_771"],"award-info":[{"award-number":["contract no. 69\/08.09.2016","ID P_37_771"]}]},{"name":"iPP4CPPS project","award":["Horizon2020","grant no.644400","16-UK-GERS-01"],"award-info":[{"award-number":["Horizon2020","grant no.644400","16-UK-GERS-01"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2020,5]]},"DOI":"10.1007\/s10270-019-00753-w","type":"journal-article","created":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T06:34:02Z","timestamp":1568961242000},"page":"581-600","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Early-stage analysis of cyber-physical production systems through collaborative modelling"],"prefix":"10.1007","volume":"19","author":[{"given":"Mihai","family":"Neghina","sequence":"first","affiliation":[]},{"given":"Constantin-Bala","family":"Zamfirescu","sequence":"additional","affiliation":[]},{"given":"Ken","family":"Pierce","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,20]]},"reference":[{"key":"753_CR1","unstructured":"iPP4CPPS: Integrated product-production co-simulation for cyber-physical production system. \nhttp:\/\/centers.ulbsibiu.ro\/incon\/index.php\/ipp4cpps\/\n\n (2008). Accessed Sept 2018"},{"key":"753_CR2","isbn-type":"print","volume-title":"Springer Handbook of Automation","year":"2009","unstructured":"Nof, S.Y. (ed.): Springer Handbook of Automation. Springer, Berlin (2009). ISBN 978-3-540-78831-7","ISBN":"http:\/\/id.crossref.org\/isbn\/9783540788317"},{"key":"753_CR3","unstructured":"Neghina, M., Zamfirescu, C.B., Larsen, P.G., Lausdahl, K., Pierce, K.: Multi-paradigm discrete-event modelling and co-simulation of cyber-physical systems. Stud. Inform. Control 27(1), 33\u201342 (2018). ISSN 1220-1766"},{"key":"753_CR4","doi-asserted-by":"crossref","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. In: Sahni, S. (ed.) ACM Computing Surveys (CSUR), vol. 51, pp. 1557\u20137341, ISSN 0360-0300 (2018)","DOI":"10.1145\/3179993"},{"key":"753_CR5","isbn-type":"print","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-54118-6_8","volume-title":"Collaborative Design for Embedded Systems","author":"K Pierce","year":"2014","unstructured":"Pierce, K., Wolff, S., Verhoef, M.: Methods for creating co-models of embedded systems. In: Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.) Collaborative Design for Embedded Systems, pp. 153\u2013183. Springer, Berlin (2014). ISBN 978-3-642-54118-6","ISBN":"http:\/\/id.crossref.org\/isbn\/9783642541186"},{"key":"753_CR6","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., Otter, M., \u00c5kesson, J., Arnold, M., Clauss, C., Elmqvist, H., Friedrich, M., Junghanns, A., Mauss, J., Neumerkel, D., Olsson, H., Viel, A.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: 9th International Modelica Conference, pp. 173\u2013184. Munchen (2012)","DOI":"10.3384\/ecp12076173"},{"key":"753_CR7","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R., Pierce, K.: Features of integrated model-based co-modelling and co-simulation technology. In: CoSim-CPS Workshop Organised in Connection with the SEFM, Trento, Italy, Sept 2017","DOI":"10.1007\/978-3-319-74781-1_26"},{"issue":"1","key":"753_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1668862.1668864","volume":"35","author":"PG Larsen","year":"2010","unstructured":"Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative\u2014integrating tools for VDM. SIGSOFT Softw. Eng. Notes 35(1), 1\u20136 (2010)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"753_CR9","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J., Gamble, C., Larsen, P.G., Pierce, K., Woodcock, J.: Cyber-physical systems design: formal foundations, methods and integrated tool chains. In: FormaliSE: FME Workshop on Formal Methods in Software Engineering. ICSE 2015, Florence, Italy, May 2015","DOI":"10.1109\/FormaliSE.2015.14"},{"key":"753_CR10","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S., Sadovykh, A.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: CPS Data Workshop. Vienna (2016)","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"753_CR11","unstructured":"Larsen, P.G., Fitzgerald, J., Woodcock, J., Lecomte, T.: Trustworthy Cyber-Physical Systems Engineering, Chapter 8: Collaborative Modelling and Simulation for Cyber-Physical Systems. Chapman and Hall\/CRC, London (2016). ISBN 9781498742450"},{"key":"753_CR12","first-page":"171","volume-title":"Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design","author":"PG Larsen","year":"2016","unstructured":"Larsen, P.G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C., Foster, S.: Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design, pp. 171\u2013186. Springer, Cham (2016)"},{"key":"753_CR13","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J., Gamble, C., Payne, R., Larsen, P.G., Basagiannis, S., Mady, A.E.D.: Collaborative model-based systems engineering for cyber-physical systems\u2014a case study in building automation. In: INCOSE 2016. Edinburgh, Scotland (2016)","DOI":"10.1002\/j.2334-5837.2016.00195.x"},{"key":"753_CR14","unstructured":"INTO-CPS Maestro. \nhttps:\/\/github.com\/INTO-CPS-Association\/maestro\n\n (2018). Accessed Sept 2018"},{"key":"753_CR15","unstructured":"Modelio. \nhttps:\/\/www.modelio.org\/\n\n (2018). Accessed Sept 2018"},{"issue":"4","key":"753_CR16","first-page":"246","volume":"36","author":"I Quadri","year":"2015","unstructured":"Quadri, I., Bagnato, A., Brosse, E., Sadovykh, A.: Modeling methodologies for cyber physical systems: research field study on inherent and future challenges. Ada User J. 36(4), 246\u2013253 (2015)","journal-title":"Ada User J."},{"issue":"3","key":"753_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1080\/14399776.2006.10781259","volume":"7","author":"C Kleijn","year":"2006","unstructured":"Kleijn, C.: Modelling and simulation of fluid power systems with 20-sim. Int. J. Fluid Power 7(3), 57\u201360 (2006)","journal-title":"Int. J. Fluid Power"},{"key":"753_CR18","unstructured":"OpenModelica. \nhttps:\/\/openmodelica.org\/\n\n (2018). Accessed Sept 2018"},{"key":"753_CR19","doi-asserted-by":"crossref","unstructured":"Strasser, T., Rooker, M., Ebenhofer, G., Zoitl, A., Sunder, C., Valentini, A., Martel, A.: Framework for distributed industrial automation and control (4DIAC). In: 2008 6th IEEE International Conference on Industrial Informatics, pp. 283\u2013288 (2008)","DOI":"10.1109\/INDIN.2008.4618110"},{"key":"753_CR20","unstructured":"Catia. \nhttps:\/\/www.3ds.com\/products-services\/catia\/\n\n (2018). Accessed Sept 2018"},{"key":"753_CR21","isbn-type":"print","volume-title":"Collaborative Design for Embedded Systems\u2014Co-modelling and Co-simulation","year":"2014","unstructured":"Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.): Collaborative Design for Embedded Systems\u2014Co-modelling and Co-simulation. Springer, Berlin (2014). ISBN 978-3-642-54117-9","ISBN":"http:\/\/id.crossref.org\/isbn\/9783642541179"},{"key":"753_CR22","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08766-4","volume-title":"The Vienna Development Method: The Meta-Language. Lecture Notes in CS","author":"D Bj\u00f8rner","year":"1978","unstructured":"Bj\u00f8rner, D., Cliff, B.J.: The Vienna Development Method: The Meta-Language. Lecture Notes in CS, vol. 61. Springer, Berlin (1978). ISBN 978-0-387-08766-5","ISBN":"http:\/\/id.crossref.org\/isbn\/9780387087665"},{"key":"753_CR23","isbn-type":"print","volume-title":"Modelling Systems: Practical Tools and Techniques in Software Engineering","author":"J Fitzgerald","year":"1998","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems: Practical Tools and Techniques in Software Engineering. Cambridge University Press, Cambridge (1998). ISBN 0-521-62348-0","ISBN":"http:\/\/id.crossref.org\/isbn\/0521623480"},{"key":"753_CR24","doi-asserted-by":"crossref","unstructured":"Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and validating distributed embedded realtime systems with VDM++. In: Misra J., Nipkow T., Sekerinski E. (eds.) FM 2006: Formal Methods. Lecture Notes in CS 4085, pp. 147\u2013162. Springer (2006)","DOI":"10.1007\/11813040_11"},{"key":"753_CR25","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-85379-4_20","volume-title":"Constructing Ambient Intelligence","author":"M M\u00fchlh\u00e4user","year":"2008","unstructured":"M\u00fchlh\u00e4user, M.: Smart products: an introduction. In: M\u00fchlh\u00e4user, M., Ferscha, A., Aitenbich, E. (eds.) Constructing Ambient Intelligence, pp. 158\u2013164. Springer, Berlin (2008)"},{"issue":"3","key":"753_CR26","doi-asserted-by":"publisher","first-page":"269","DOI":"10.24846\/v22i3y201303","volume":"22","author":"CB Zamfirescu","year":"2013","unstructured":"Zamfirescu, C.B., Parvu, B.C., Schlick, J., Z\u00fchlke, D.: Preliminary insides for an anthropocentric cyber-physical reference architecture of the smart factory. Stud. Inform. Control 22(3), 269\u2013278 (2013)","journal-title":"Stud. Inform. Control"},{"key":"753_CR27","doi-asserted-by":"crossref","unstructured":"Hermann, M., Pentek, T., Otto, B.: Design principles for industrie 4.0 scenarios. In: 2016 49th Hawaii International Conference on System Sciences (HICSS), pp. 3928\u20133937","DOI":"10.1109\/HICSS.2016.488"},{"key":"753_CR28","volume-title":"Industrial Agents Emerging Applications of Software Agents in Industry","year":"2015","unstructured":"Leit\u00e3o, P., Karnouskos, S. (eds.): Industrial Agents Emerging Applications of Software Agents in Industry. Elsevier, Amsterdam (2015)"},{"key":"753_CR29","unstructured":"Referenzarchitekturmodell Industrie 4.0 (RAMI4.0), DIN SPEC 91345:2016-04. \nhttps:\/\/www.plattform-i40.de\/PI40\/Redaktion\/DE\/Downloads\/Publikation\/din-spec-rami40.html\n\n. Accessed Sept 2018"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00753-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-019-00753-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00753-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,18]],"date-time":"2020-09-18T23:21:05Z","timestamp":1600471265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-019-00753-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,20]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,5]]}},"alternative-id":["753"],"URL":"https:\/\/doi.org\/10.1007\/s10270-019-00753-w","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9,20]]},"assertion":[{"value":"30 September 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 June 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 August 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 September 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}