{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:48:41Z","timestamp":1725504521657},"publisher-location":"London","reference-count":6,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781846288050"},{"type":"electronic","value":"9781846288067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-1-84628-806-7_14","type":"book-chapter","created":{"date-parts":[[2008,3,4]],"date-time":"2008-03-04T18:48:29Z","timestamp":1204656509000},"page":"217-241","source":"Crossref","is-referenced-by-count":1,"title":["AMBERS: Improving Requirements Specification Through Assertive Models and SCADE\/DOORS Integration"],"prefix":"10.1007","author":[{"given":"Marcelin Fortes","family":"da Cruz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Raistrick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Parnas D.L,(1993). \u2018Predicate Logic for Software Engineering\u2019. IEEE Transactions on Software Engineering, VOL 19. NO 9, September 1993"},{"key":"14_CR2","unstructured":"Parnas D.L. (1992). \u2018Tabular Representations of Relations\u2019. Telecommunications Research Institute of Ontario. Communications Research Laboratory. Report CRL NO 260, October 1992."},{"key":"14_CR3","unstructured":"Fortes da Cruz. M.Au, (2001). \u2018Building Systems as Transformers\u2019. Irish Workshop On Formal Methods, IWFM\u201901, Dublin, May 2001."},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C.L. Heitmeyer","year":"1996","unstructured":"Heitmeyer C.L., Jeffords R.D. and Labaw B.G. (1996). \u2018Automated Consistency Checking of Requirements Specifications\u2019. ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3, July 1996, pp 231\u2013261","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"9","key":"14_CR5","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs N., Caspi P., Raymond P. and Pilaud D. (1991). \u2018The Synchronous dataflow programming language LUSTRE\u2019. Proceedings of the IEEE, Vol 79, Issue 9, September 1991, pp 1305\u20131320.","journal-title":"Proceedings of the IEEE"},{"volume-title":"Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems","year":"1992","key":"14_CR6","unstructured":"David R. and Alla H. (editors) (1992). \u2018Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems\u2019. Prentice Hall, New York 1992."}],"container-title":["The Safety of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84628-806-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T10:55:09Z","timestamp":1551437709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84628-806-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9781846288050","9781846288067"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-1-84628-806-7_14","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}