{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:18:04Z","timestamp":1742930284813,"version":"3.40.3"},"publisher-location":"London","reference-count":19,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447144250"},{"type":"electronic","value":"9781447144267"}],"license":[{"start":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T00:00:00Z","timestamp":1344556800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T00:00:00Z","timestamp":1344556800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-4426-7_93","type":"book-chapter","created":{"date-parts":[[2012,8,9]],"date-time":"2012-08-09T15:52:35Z","timestamp":1344527555000},"page":"1105-1116","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards A Formal Software Development in a Concurrent Engineering Environment: A Space System Case"],"prefix":"10.1007","author":[{"given":"Miriam C.","family":"Bergue Alves","sequence":"first","affiliation":[]},{"given":"Cynthia Feitosa","family":"Leal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,8,10]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Alves MCB, Abdala MAD, Silva RB (2007) Bringing together space systems engineering and software engineering processes based on standards and best practices. In: Complex Systems Concurrent Engineering, Loureiro G, Curran R (eds), Springer London, pp. 159-166.","key":"93_CR1","DOI":"10.1007\/978-1-84628-976-7_18"},{"issue":"4","key":"93_CR2","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1109\/JSYST.2008.2009190","volume":"2","author":"D Drusinsky","year":"2008","unstructured":"Drusinsky D, Michael JB and Shing M (2008) A visual trade-off space for formal verification and validation techniques. IEEE Systems J., 2(4), pp. 513-519.","journal-title":"IEEE Systems J."},{"unstructured":"M\u00e9tayer C, Abrial J-R, Voisin L (2005) Event-B Language. http:\/\/rodin.cs.ncl.ac.uk\/deliverables\/D7.pdf. Accessed 27 Jan. 2012.","key":"93_CR3"},{"unstructured":"Event-B and the Rodin Platform. http:\/\/www.event-b.org\/index.html. Accessed 27 Jan. 2012.","key":"93_CR4"},{"unstructured":"B-Method website (2012). http:\/\/www.bmethod.com\/. Accessed 10 April 2012.","key":"93_CR5"},{"unstructured":"Blanchard BS, Fabrycky WJ (1998) Systems Engineering and Analysis. 3rd ed., Prentice Hall, Upper Saddle River, New Jersey.","key":"93_CR6"},{"issue":"4","key":"93_CR7","doi-asserted-by":"crossref","first-page":"516","DOI":"10.1109\/5326.725338","volume":"28","author":"AT Bahill","year":"1998","unstructured":"Bahill AT, Gissing B (1998) Re-evaluating systems engineering concepts using systems thinking. IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, 28 (4), pp. 516-527.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews"},{"unstructured":"INCOSE (2008). INCOSE Survey of Model-Based Systems Engineering (MBSE) Methodologies. INCOSE-TD-2007-003-02. http:\/\/www.incose.org\/ProductsPubs\/pdf\/techdata\/MTTC\/MBSE_Methodology_Survey_2008-0610_RevB-JAE2.pdf. Accessed 02 April 2012.","key":"93_CR8"},{"unstructured":"ESA-ESTEC ECSS-E-ST-40C (2009) Space Engineering -Software. ECSS Secretariat, ESA-ESTEC Requirements and Standards Division.","key":"93_CR9"},{"unstructured":"ESA-ESTEC ECSS-E-10A (1996) Space engineering: System Engineering. ECSS Secretariat, ESA-ESTEC Requirements and Standards Division. http:\/\/www.everyspec.com\/ESA\/ECSS-E-10A_14021\/. Accessed 22 April 2012.","key":"93_CR10"},{"issue":"1-2","key":"93_CR11","first-page":"1","volume":"77","author":"J-R Abrial","year":"2007","unstructured":"Abrial J-R, Hallerstede S (2007) Refinement, Decomposition and Instantiation of Discrete Models: Application to Event-B. Fundamentae Informatica J., 77(1-2), IOS Press, pp. 1-28.","journal-title":"Fundamentae Informatica J."},{"doi-asserted-by":"crossref","unstructured":"Hallerstede S (2008) On the Purpose of Event-B Proof Obligations.\u00a0In: ABZ Conference, London, September 2008.","key":"93_CR12","DOI":"10.1007\/978-3-540-87603-8_11"},{"unstructured":"Abrial J-R (2008) Summary of Event-B Proof Obligations. Available at http:\/\/www.cse. unsw.edu.au\/~\u00a0cs2111\/PDF\/sld_po.pdf. Accessed 22 April 2012.","key":"93_CR13"},{"unstructured":"Silva R,\u00a0Pascal C,\u00a0Hoang T, Son and\u00a0Butler M\u00a0(2010) Decomposition Tool for Event-B.\u00a0In: Workshop on Tool Building in Formal Methods. In: ABZ Conference, Orford, Quebec, Canada, September 2010.","key":"93_CR14"},{"issue":"6","key":"93_CR15","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J-R Abrial","year":"2010","unstructured":"Abrial J-R, Butler M., Hallerstede S, Hoang T-S, Mehta F, Voisin L (2010) Rodin: An Open Toolset for im and Reasoning in Event-B. Intl J. on Softw. Tools for Technology Transfer, 12(6), Springer, pp. 447-466.","journal-title":"Intl J. on Softw. Tools for Technology Transfer"},{"doi-asserted-by":"crossref","unstructured":"Said M, Butler M, Snook C (2009) Language and Tool Support for Class and State Machine Refinement in UML-B. In: Formal Methods, vol. 5850, Springer, pp. 579-595.","key":"93_CR16","DOI":"10.1007\/978-3-642-05089-3_37"},{"unstructured":"UML-B (2012). http:\/\/wiki.event-b.org\/index.php\/UML-B. Accessed 23 Mar 2012.","key":"93_CR17"},{"unstructured":"Abrial J-R (2012). Modeling in Event-B: System and Software Engineering. http:\/\/www.event-b.org\/abook.html. Accessed 24 Jan. 2012.","key":"93_CR18"},{"doi-asserted-by":"crossref","unstructured":"Liasov A, Laibinis L, Troubitsyna E, Romanovsky A, Latvala T (2012) Augmenting Event-B Modelling with Real-Time Verification. In: ACM Proc. of Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, Zurich, Switzerland.","key":"93_CR19","DOI":"10.1109\/FormSERA.2012.6229789"}],"container-title":["Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-4426-7_93","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T09:07:44Z","timestamp":1675760864000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-4426-7_93"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,10]]},"ISBN":["9781447144250","9781447144267"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-4426-7_93","relation":{},"subject":[],"published":{"date-parts":[[2012,8,10]]},"assertion":[{"value":"10 August 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}