{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:08:42Z","timestamp":1725516522310},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691471"},{"type":"electronic","value":"9783540691495"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69149-5_39","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"362-373","source":"Crossref","is-referenced-by-count":3,"title":["On the Formal Development of Safety-Critical Software"],"prefix":"10.1007","author":[{"given":"Andy","family":"Galloway","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frantz","family":"Iwu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"McDermid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Toyn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"UK Ministry of Defence, Defence Standard 00-56 Issue 2: Safety Management Requirements for Defence Systems (1996)","key":"39_CR1"},{"unstructured":"Australian Department of Defence, Australian Defence Standard Def(Aust) 5679: Procurement of Computer-based Safety Critical Systems (1998)","key":"39_CR2"},{"unstructured":"A German, Software Static Code Analysis, Lessons Learned, Crosstalk(November 2003)","key":"39_CR3"},{"doi-asserted-by":"crossref","unstructured":"King, S., Hammond, J., Chapman, R., Pryor, A.: Is Proof more Cost-Effective than Tesing? IEEE Transactions on Software Engineering\u00a026(8) (2000)","key":"39_CR4","DOI":"10.1109\/32.879807"},{"doi-asserted-by":"crossref","unstructured":"Parnas, D., Madey, J.: Functional Documents for Computer Programs. Science of Computer Programming\u00a025(1) (1995)","key":"39_CR5","DOI":"10.1016\/0167-6423(95)96871-J"},{"key":"39_CR6","volume-title":"Problem Frames","author":"M.A. Jackson","year":"2001","unstructured":"Jackson, M.A.: Problem Frames. Addison Wesley, Reading (2001)"},{"key":"39_CR7","volume-title":"Proceedings of RE 2004","author":"L. Rapanotti","year":"2004","unstructured":"Rapanotti, L., Hall, J.G., Jackson, M.A., Nuseibeh, B.: Architecture-driven Problem Decomposition. In: Proceedings of RE 2004, IEEE Computer Society Press, Los Alamitos (2004)"},{"unstructured":"Airline Electronic Engineering Committee, ARINC, Supplement 1 to ARINC Specification 653: Avionics Application Software Standard Interface, Standard 03-116\/SWM-89, Annapolis Maryland (2003)","key":"39_CR8"},{"key":"39_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"M. Poppleton","year":"2000","unstructured":"Poppleton, M., Banach, R.: Retrenchment, Refinement and Simulation. In: P. Bowen, J., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, Springer, Heidelberg (2000)"},{"key":"39_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"FME 2003: Formal Methods","author":"I. Hayes","year":"2003","unstructured":"Hayes, I., Jackson, M., Jones, C.B.: Determining the Specification of a Control System from that of its Environment. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Iwu, F., Galloway, A., Toyn, I., McDermid, J.A.: Practical Formal Specification For Embedded Control Systems. In: Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2004, Salvador, Brazil, April 5-7 (2004)","key":"39_CR11","DOI":"10.1016\/S1474-6670(17)36113-X"},{"unstructured":"Galloway, A., Toyn, I., Iwu, F., McDermid, J.A.: The Simulink\/Stateflow Analyzer. In: FAA and Embry-Riddle Aeronautical University (ERAU) Software Tools Workshop, Florida, USA, May 18 -19 (2004)","key":"39_CR12"},{"key":"39_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"I. Toyn","year":"2005","unstructured":"Toyn, I., Galloway, A.: Proving Properties of Stateflow Models using ISO Standard Z and CADiZ. In: Treharne, H., King, S., C. Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, Springer, Heidelberg (2005)"},{"key":"39_CR14","volume-title":"Proceedings of ICFEM 2000","author":"R. Arthan","year":"2000","unstructured":"Arthan, R., Caseley, P., O\u2019Halloran, C., Smith, A.: ClawZ: Control Laws in Z. In: Liu, S., McDermid, J.A., Hinchey, M.G. (eds.) Proceedings of ICFEM 2000, IEEE Computer Society, Los Alamitos (2000)"},{"key":"39_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"FM 2005: Formal Methods","author":"A. Cavalcanti","year":"2005","unstructured":"Cavalcanti, A., Clayton, P., O\u2019Halloran, C.: Control Law Diagrams in Circus. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69149-5_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T12:38:38Z","timestamp":1551530318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69149-5_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540691471","9783540691495"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69149-5_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}