{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:45:32Z","timestamp":1729647932926,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/formalise.2013.6612275","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T14:41:05Z","timestamp":1380638465000},"page":"36-42","source":"Crossref","is-referenced-by-count":9,"title":["Towards a formalism-based toolkit for automotive applications"],"prefix":"10.1109","author":[{"given":"Rainer","family":"Gmehlich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katrin","family":"Grau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Loesch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexei","family":"Iliasov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Jackson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Mazzara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/32.317428"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/32.508311"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"16","article-title":"Problem Frames: Analyzing and structuring software development problems","author":"jackson","year":"2000","journal-title":"Addison-Wesley"},{"key":"13","article-title":"Deriving specifications of dependable systems: Toward a method","author":"mazzara","year":"2009","journal-title":"Proc 10 European Workshop on Dependable Computing"},{"key":"14","article-title":"On methods for the formal specification of fault tolerant systems","author":"mazzara","year":"2011","journal-title":"Dependensgrammarik"},{"journal-title":"Systematic Software Development Using VDM","year":"1990","author":"jones","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DEPEND.2010.33"},{"key":"21","article-title":"DEPLOY deliverable d38: Report on enhanced deployment in the automotive sector","volume":"d38","author":"grau","year":"2011","journal-title":"DEPLOY Project Tech Rep"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"22","first-page":"410","article-title":"What is the benefit of a model-based design of embedded software systems in the car industry?","author":"broy","year":"2011","journal-title":"Emerging Technologies for the Evolution and Maintenance of Software Models"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134292"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15187-3_2"},{"journal-title":"RODIN Rigorous Open Development Environment for Complex Systems","year":"0","key":"25"},{"journal-title":"DEPLOY Deliverable D15 Advances in Methodological WPs","year":"2009","author":"jones","key":"26"},{"key":"27","article-title":"DEPLOY deliverable D19: Pilot deployment in the automotive sector","author":"loesch","year":"2010","journal-title":"DEPLOY Project Tech Rep"},{"year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"10","article-title":"Software development: A rigorous approach","author":"jones","year":"1980","journal-title":"Englewood Cliffs"},{"journal-title":"DEPLOY Industrial Deployment of System Engineering Methods Providing High Dependability and Productivity","year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"journal-title":"A Specification Language","year":"1980","author":"abrial","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.036"},{"journal-title":"Event-b and the Rodin Platform","year":"0","key":"4"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-08766-4","article-title":"The Vienna Development Method: The Meta-Language, ser","volume":"61","author":"bj\ufffdrner","year":"1978","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"The Event-B Book","year":"2010","author":"abrial","key":"8"}],"event":{"name":"2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)","start":{"date-parts":[[2013,5,25]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,25]]}},"container-title":["2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596468\/6612266\/06612275.pdf?arnumber=6612275","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T18:56:19Z","timestamp":1498071379000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6612275\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/formalise.2013.6612275","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}