{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:40:16Z","timestamp":1742913616818,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031671135"},{"type":"electronic","value":"9783031671142"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-67114-2_12","type":"book-chapter","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:42:47Z","timestamp":1725507767000},"page":"306-328","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["I Kaptured the System"],"prefix":"10.1007","author":[{"given":"Colin","family":"O\u2019Halloran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Simmonds","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Tudor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,1]]},"reference":[{"key":"12_CR1","unstructured":"Lions, J.-L., et al.: European Space Agency Board of Inquiry report into the first flight failure of Ariane 5 1996. http:\/\/www.ima.umn.edu\/~arnold\/disasters\/ariane5rep.html"},{"key":"12_CR2","unstructured":"RTCA DO-178C\/EUROCAE ED-12C Software Considerations in Airborne Systems and Equipment Certification, January 2012"},{"key":"12_CR3","unstructured":"RTCA DO-333\/EUROCAE ED-216 Formal Methods Supplement to DO-178C\/ED-12C and DO-278A\/ED-109A, January 2012"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Abrial, J-R.: Steam-boiler control specification problem. In: Abrial, J-R., Borger, E., Langmaack, H. (eds.) Formal Methods for Industrial Applications 1996. LNCS State-of-the-Art Survey, pp. 500\u2013509. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0027252","DOI":"10.1007\/BFb0027252"},{"key":"12_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06739-6","volume-title":"Handbook of Requirements and Business Analysis","author":"B Meyer","year":"2022","unstructured":"Meyer, B.: Handbook of Requirements and Business Analysis. Springer International Publishing, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06739-6"},{"key":"12_CR6","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall (1997)"},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s10009-015-0377-y","volume":"18","author":"T Gibson-Robinson","year":"2015","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.W.: FDR3: a parallel refinement checker for CSP. Int. J. Softw. Tools Technol. Transf. 18(2), 149\u2013167 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"12_CR8","unstructured":"Gibson-Robinson, T., Roscoe, A.W.: FDR into The Cloud. In: Welch, P.H., et al. (eds.) Communicating Process Architectures 2014. Open Channel Publishing Ltd. (2014)"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"Abrial, J-R., Borger, E., Langmaack, H. (eds.): Formal Methods for Industrial Applications 1996, LNCS State-of-the-Art Survey, pp. 500\u2013509. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0027227","DOI":"10.1007\/BFb0027227"},{"key":"12_CR10","doi-asserted-by":"publisher","unstructured":"Foster, S., Munive, J.J.H., Struth, G.: Differential Hoare logics and refinement calculi for hybrid systems with Isabelle\/HOL. In: 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020. LNCS 12062. Springer, Heidelberg (2020). https:\/\/doi.org\/10.1007\/978-3-030-43520-2_11","DOI":"10.1007\/978-3-030-43520-2_11"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Botham, J., et al.: PICASSOS\u2013Practical applications of automated formal methods to safety related automotive systems. SAE Technical Paper. http:\/\/papers.sae.org\/2017-01-0063\/","DOI":"10.4271\/2017-01-0063"},{"key":"12_CR12","unstructured":"TargetLink webpage. https:\/\/www.dspace.com\/en\/pub\/home\/products\/sw\/pcgs\/targetlink.cfm"},{"issue":"2","key":"12_CR13","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10515-012-0116-5","volume":"20","author":"C O\u2019Halloran","year":"2013","unstructured":"O\u2019Halloran, C.: Automated Verification of auto-code from Simulink. Autom. Softw. Eng. 20(2), 237\u2013264 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"12_CR14","unstructured":"O\u2019Halloran, C.: Nose-gear velocity\u2013a challenge problem for software safety. In: Australian System Safety Conference (ASSC 2014), held in Melbourne, 28\u201330 May (2014)"},{"key":"12_CR15","unstructured":"ScubaTx homepage. https:\/\/www.scubatx.com"}],"container-title":["Lecture Notes in Computer Science","The Application of Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-67114-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:45:34Z","timestamp":1725507934000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-67114-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031671135","9783031671142"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-67114-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"1 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have an interest in the commercial success of the tools described above. The tools under various stages of development but are available free for academic use.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}}]}}