{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:54Z","timestamp":1725484614171},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431664"},{"type":"electronic","value":"9783540456483"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","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":[[2002]]},"DOI":"10.1007\/3-540-45648-1_21","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T05:26:02Z","timestamp":1180329962000},"page":"396-415","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Generalised Substitution Language and Differentials"],"prefix":"10.1007","author":[{"given":"James","family":"Blow","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Galloway","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"J-R Abrial. The B Book-Assigning Programs to Meanings. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"issue":"6","key":"21_CR2","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1145\/268999.269004","volume":"44","author":"M. Broy","year":"1997","unstructured":"M. Broy. Compositional Refinement of Interactive Systems. Journal of the ACM, 44(6):850\u2013891, November 1997.","journal-title":"Journal of the ACM"},{"key":"21_CR3","unstructured":"M. Broy. The Specification of System Components by State Transition Diagrams. Technical Report TUM-I9729, Technische Univeritat Munchen, 1997."},{"key":"21_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-49213-5_6","volume-title":"Compositionality: The Significant Difierence","author":"M. Broy","year":"1998","unstructured":"M. Broy. Compositional Re.nement of Interactive Systems Modelled by Relations. In Compositionality: The Significant Difierence, number 1536 in Lecture Notes in Computer Science, pages 130\u2013149, 1998."},{"key":"21_CR5","unstructured":"M. Broy. A Logical Basis for Component-Based Systems Engineering. International Summer School, Marktoberdorf, July-August 1999."},{"key":"21_CR6","unstructured":"M. Broy. From States to History. In International Summer School, Marktoberdorf, 2000."},{"key":"21_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/3-540-57318-6_23","volume-title":"Hybrid Systems","author":"Z. Chaochen","year":"1993","unstructured":"Z. Chaochen, A.P. Ravn, and M.R. Hansen. An Extended Duration Calculus for Hybrid Real Time Systems. In Hybrid Systems, Lecture Notes in Computer Science, pages 36\u201359, 1993."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"E.W. Dijkstra. Guarded Commands, Nondetermincy and Formal Derivation of Programs. Communications of the ACM, 18:453\u2013457, August 1975.","DOI":"10.1145\/360933.360975"},{"key":"21_CR9","unstructured":"A. Galloway. Communicating Generalised Substitution Language. In Proceedings of the International Conference on Perspectives of System Informatics, PSI\u201901, 2001."},{"key":"21_CR10","unstructured":"A. Galloway and J. Blow. Multi Layered Domain Specific Formal Languages. In Proceedings of the Workshop on Formal Specification of Computer Based Systems, FSCBS\u201901, April 2001."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"A. J. Galloway, T. J. Cockram, and J. A. McDermid. Experiences with the Application of Discrete Formal Methods to the Development of Engine Control Software. In Proceedings of DCCS (Distributed Computer Control Systems) 98. IFAC \u2014 International Federation of Automatic Control, 1998.","DOI":"10.1016\/S1474-6670(17)36335-8"},{"key":"21_CR12","unstructured":"J. Blow, A. Galloway, J.A. McDermid, M. Dowding and T. Cockram. The Industrial Use of a Formal Method in a Gas Turbine Engine Electronic Control System. In Proceedings of the Workshop on Formal Specifications of Computer Based Systems, FSCBS\u201900, April 2000."},{"key":"21_CR13","unstructured":"John McDermid and Andy Galloway et al. Towards Industrially Applicable Formal Methods: Three Small Steps, and One Giant Leap. In The International Conference on Formal Engineering Methods (ICFEM) 1998. IEEE Press, 1998."},{"key":"21_CR14","unstructured":"UK Ministry of Defence. Defence Standard 00-55 \u2014 The Procurement of Safety Critical Software in Defence Equipment. 1997."}],"container-title":["Lecture Notes in Computer Science","ZB 2002:Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45648-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:41:59Z","timestamp":1558273319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45648-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431664","9783540456483"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45648-1_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"22 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}