{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T11:28:26Z","timestamp":1746012506623,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319489889"},{"type":"electronic","value":"9783319489896"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-48989-6_21","type":"book-chapter","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T06:31:19Z","timestamp":1478500279000},"page":"344-351","source":"Crossref","is-referenced-by-count":3,"title":["Formalising and Validating the Interface Description in the FMI Standard"],"prefix":"10.1007","author":[{"given":"Miran","family":"Hasanagi\u0107","sequence":"first","affiliation":[]},{"given":"Peter W. V.","family":"Tran-J\u00f8rgensen","sequence":"additional","affiliation":[]},{"given":"Kenneth","family":"Lausdahl","sequence":"additional","affiliation":[]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,8]]},"reference":[{"key":"21_CR1","unstructured":"Battle, N., Haxthausen, A., Hiroshi, S., J\u00f8rgensen, P.W.V., Plat, N., Sahara, S., Verhoef, M.: The overture approach to VDM language evolution. In: The Overture 2013 Workshop, August 2013"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"The Vienna Development Method: The Meta-Language","year":"1978","unstructured":"Bj\u00f8rner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. LNCS, vol. 61. Springer, Heidelberg (1978)"},{"key":"21_CR3","unstructured":"Blochwitz, T.: Functional mock-up interface for model exchange and co-simulation, July 2014. https:\/\/www.fmi-standard.org\/downloads"},{"key":"21_CR4","unstructured":"C.C.I.T.T.: The specification of chill. Technical report Recommendation Z200, International Telegraph and Telephone Consultative Committee, Geneva, Switzerland (1980)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/3-540-50214-9_15","volume-title":"VDM \u201988 VDM \u2014 The Way Ahead","author":"DJ Andrews","year":"1988","unstructured":"Andrews, D.J., Garg, A., Lau, S.P.A., Pitchers, J.R.: The formal definition of modula-2 and its associated interpreter. In: Bloomfield, R.E., Marshall, L.S., Jones, R.B. (eds.) VDM 1988. LNCS, vol. 328, pp. 167\u2013177. Springer, Heidelberg (1988). doi: 10.1007\/3-540-50214-9_15"},{"key":"21_CR6","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":"21_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511626975","volume-title":"Modelling Systems - Practical Tools and Techniques in Software Development","author":"J Fitzgerald","year":"2009","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems - Practical Tools and Techniques in Software Development, 2nd edn. Cambridge University Press, Cambridge (2009). ISBN 0-521-62348-0","edition":"2"},{"key":"21_CR8","unstructured":"ISO: Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language, December 1996"},{"key":"21_CR9","volume-title":"Systematic Software Development Using VDM","author":"CB Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development Using VDM, 2nd edn. Prentice-Hall International, Englewood Cliffs (1990). ISBN 0-13-880733-7","edition":"2"},{"key":"21_CR10","unstructured":"J\u00f8rgensen, P.W.V., Larsen, P.G.: Towards an overture code generator. In: The Overture 2013 workshop, August 2013"},{"issue":"1","key":"21_CR11","doi-asserted-by":"crossref","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 - integrating tools for VDM. SIGSOFT Softw. Eng. Notes 35(1), 1\u20136 (2010). http:\/\/doi.acm.org\/10.1145\/1668862.1668864","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Lausdahl, K., Battle, N.: Combinatorial testing for VDM. In: Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, pp. 278\u2013285. IEEE Computer Society, Washington, DC, September 2010. http:\/\/dx.doi.org\/10.1109\/SEFM.2010.32 . ISBN 978-0-7695-4153-2","DOI":"10.1109\/SEFM.2010.32"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Thule, C., Lausdahl, K., Bardur, V., Gamble, C., Pierce, K., Brosse, E., Sadovykh, A., Bagnato, A., Couto, L.D.: Integrated tool chain for model-based design of cyber-physical systems. In: Submitted for the 14th Overture Workshop, Cyprus, November 2016","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"21_CR14","unstructured":"Lee, E.: Cyber-physical systems - are computing foundations adequate? In: NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, Austin, TX, October 2006"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Tran-J\u00f8rgensen, P.W.V., Larsen, P.G., Leavens, G.T.: Automated translation of VDM to JML annotated Java (January 2016 Submitted to the International Journal on Software Tools for Technology Transfer (STTT))","DOI":"10.1007\/s10009-017-0448-3"},{"key":"21_CR16","unstructured":"Tran-J\u00f8rgesen, P.W., Larsen, P.G., Battle, N.: Using JML-based code generation to enhance the test automation for VDM models. Submitted for the 14th Overture Workshop, Cyprus, November 2016"}],"container-title":["Lecture Notes in Computer Science","FM 2016: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48989-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T16:23:12Z","timestamp":1657642992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48989-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319489889","9783319489896"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48989-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}