{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:22Z","timestamp":1762459042517},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/sysose.2012.6384144","type":"proceedings-article","created":{"date-parts":[[2013,1,30]],"date-time":"2013-01-30T17:49:45Z","timestamp":1359568185000},"page":"1-6","source":"Crossref","is-referenced-by-count":54,"title":["Features of CML: A formal modelling language for Systems of Systems"],"prefix":"10.1109","author":[{"given":"J.","family":"Woodcock","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Cavalcanti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Fitzgerald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Miyazawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Perry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"184","article-title":"The semantics of Circus","author":"woodcock","year":"2002","journal-title":"Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B ZB '02 (London UK UK)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1049\/PBPC007E"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384150"},{"journal-title":"Unifying Theories of Programming","year":"1998","author":"hoare","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1002\/9780470050118.ecse447"},{"journal-title":"Communication Sequential Processes","year":"1985","author":"hoare","key":"5"},{"journal-title":"The Z Notation - A Reference Manual","year":"1992","author":"spivey","key":"4"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384156"}],"event":{"name":"2012 7th International Conference on System of Systems Engineering (SoSE)","start":{"date-parts":[[2012,7,16]]},"location":"Genova","end":{"date-parts":[[2012,7,19]]}},"container-title":["2012 7th International Conference on System of Systems Engineering (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6324004\/6355890\/06384144.pdf?arnumber=6384144","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:54:33Z","timestamp":1490115273000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6384144\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/sysose.2012.6384144","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}