{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:06:27Z","timestamp":1751688387526,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319912707"},{"type":"electronic","value":"9783319912714"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91271-4_1","type":"book-chapter","created":{"date-parts":[[2018,5,7]],"date-time":"2018-05-07T14:32:55Z","timestamp":1525703575000},"page":"3-15","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["ABZ Languages and Tools in Industrial-Scale Application"],"prefix":"10.1007","author":[{"given":"Janet","family":"Barnes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Hammond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angela","family":"Wallenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Wilson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,8]]},"reference":[{"issue":"1\u20132","key":"1_CR1","first-page":"1","volume":"77","author":"J-R Abrial","year":"2007","unstructured":"Abrial, J.-R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to event-B. Fundam. Inform. 77(1\u20132), 1\u201328 (2007)","journal-title":"Fundam. Inform."},{"key":"1_CR2","unstructured":"Altran. Tokeneer project release (2008). https:\/\/www.adacore.com\/tokeneer . Accessed 13 Dec 2017"},{"key":"1_CR3","unstructured":"Astill, J.: Precision instruments. Airport Focus International, September 2012. http:\/\/airportfocusinternational.com\/precision-instruments\/ . Accessed 20 Dec 2017"},{"key":"1_CR4","unstructured":"Barnes, J., Chapman, R., Johnson, R., Widmaier, J., Cooper, D., Everett, B.: Engineering the Tokeneer enclave protection software. In: 1st IEEE International Symposium on Secure Software Engineering, March 2006"},{"key":"1_CR5","volume-title":"SPARK: The Proven Approach to High Integrity Software","author":"J Barnes","year":"2012","unstructured":"Barnes, J.: SPARK: The Proven Approach to High Integrity Software, 3rd edn. Altran, Paris (2012)","edition":"3"},{"key":"1_CR6","unstructured":"Bennett, M.: SECT-AIR: a UK initiative to reduce aerospace software cost. Presentation at Verification Futures 2017 Conference, April 2017. http:\/\/www.testandverification.com\/conferences\/verification-futures\/vf2017-europe\/vf2017-sect-air\/ . Accessed 3 Jan 2017"},{"key":"1_CR7","unstructured":"Butler, M.J.: Mastering system analysis and design through abstraction and refinement. In: Broy, M., Peled, D.A., Kalus, G. (eds.) Engineering Dependable Software Systems. NATO Science for Peace and Security Series, D: Information and Communication Security, vol. 34, pp. 49\u201378. IOS Press (2013)"},{"key":"1_CR8","volume-title":"CMMI Guidelines for Process Integration and Product Improvement","author":"MB Chrissis","year":"2003","unstructured":"Chrissis, M.B., Konrad, M., Shrum, S.: CMMI Guidelines for Process Integration and Product Improvement. Addison-Wesley Longman Publishing Co. Inc., Boston (2003)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.scico.2016.04.010","volume":"131","author":"A F\u00fcrst","year":"2016","unstructured":"F\u00fcrst, A., Hoang, T.S., Basin, D.A., Sato, N., Miyazaki, K.: Large-scale system development using abstract data types and refinement. Sci. Comput. Program. 131, 59\u201375 (2016)","journal-title":"Sci. Comput. Program."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Hall, A.: What does industry need from formal specification techniques? In: Proceedings of 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, pp. 2\u20137 (1998)","DOI":"10.1109\/WIFT.1998.766285"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Hammond, J., Rawlings, R., Hall, A.: Will it work? In: Proceedings of the Fifth IEEE International Symposium on Requirements Engineering, RE 2001, pp. 102-. IEEE Computer Society, Washington, DC (2001)","DOI":"10.1109\/ISRE.2001.948549"},{"key":"1_CR12","first-page":"1","volume":"46","author":"TS Hoang","year":"2011","unstructured":"Hoang, T.S., Iliasov, A., Silva, R., Wei, W.: A survey on event-B decomposition. ECEASST 46, 1\u201315 (2011)","journal-title":"ECEASST"},{"issue":"4","key":"1_CR13","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/s10270-012-0259-7","volume":"11","author":"M Jackson","year":"2012","unstructured":"Jackson, M.: Aspects of abstraction in software development. Softw. Syst. Model. 11(4), 495\u2013511 (2012)","journal-title":"Softw. Syst. Model."},{"issue":"8","key":"1_CR14","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1109\/32.879807","volume":"26","author":"S King","year":"2000","unstructured":"King, S., Hammond, J., Chapman, R., Pryor, A.: Is proof more cost-effective than testing? IEEE Trans. Softw. Eng. 26(8), 675\u2013686 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/3-540-58555-9_86","volume-title":"FME 1994: Industrial Benefit of Formal Methods","author":"T King","year":"1994","unstructured":"King, T.: Formalising British rail\u2019s signalling rules. In: Naftalin, M., Denvir, T., Bertran, M. (eds.) FME 1994. LNCS, vol. 873, pp. 45\u201354. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/3-540-58555-9_86"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-319-33600-8_13","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"F Kossak","year":"2016","unstructured":"Kossak, F., Mashkoor, A.: How to select the suitable formal method for\u00a0an industrial application: a survey. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 213\u2013228. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_13"},{"key":"1_CR17","unstructured":"Rolfe, M.: How technology is transforming air traffic management. NATS Blog, Jul 2013. https:\/\/nats.aero\/blog\/2013\/07\/how-technology-is-transforming-air-traffic-management\/ . Accessed 20 Dec 2017"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91271-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T08:40:29Z","timestamp":1751618429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91271-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319912707","9783319912714"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91271-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}