{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:06:13Z","timestamp":1737176773590,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651109"},{"type":"electronic","value":"9783540496465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49646-7_1","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T05:09:52Z","timestamp":1181624992000},"page":"3-15","source":"Crossref","is-referenced-by-count":0,"title":["CoRSA - A Constraint Based Approach to Requirements and Safety Analysis"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Hollingworth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amer","family":"Saeed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,14]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"R. R. Lutz. Analyzing software requirements errors in safety-critical, embedded systems. In Proceedings of the IEEE Symposium on Requirements Engineering, pages 126\u2013133, San Diego, California, January 1993.","DOI":"10.1109\/ISRE.1993.324825"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/0019-0578(95)00019-V","volume":"34","author":"A. Saeed","year":"1995","unstructured":"A. Saeed, R. de Lemos, and T. Anderson. Safety analysis of requirements specifications for safety-critical software. In ISA Transactions, volume 34, pages 283\u2013295, 1995.","journal-title":"ISA Transactions"},{"key":"1_CR3","unstructured":"R. Lutz and R. Woodhouse. Experience report: Contributions of SFMEA to requirements analysis. ICRE, 1996."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"J.A. McDermid and D. Pumfrey. A development of hazard analysis to aid software design. In Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS\u2019 94), pages 17\u201325, Gaithersburg, MD, July 1994.","DOI":"10.1109\/CMPASS.1994.318470"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"N. G. Leveson, S. S. Cha, and T. J. Shimeall. Safety verification of Ada programs using software fault trees. IEEE Software, pages 48\u201359, July 1991.","DOI":"10.1109\/52.300036"},{"key":"1_CR6","series-title":"Technical Report","volume-title":"Formal methods and certification of critical systems","author":"J.M. Rushby","year":"1993","unstructured":"J.M. Rushby. Formal methods and certification of critical systems. Technical Report CSL-93-7, SRI International, Menlo Park, CA., December 1993."},{"issue":"1","key":"1_CR7","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1109\/32.588520","volume":"SE-23","author":"B. Dutere","year":"1997","unstructured":"B. Dutere and V. Stavridou. Formal requirements of analysis of an avionics control system. IEEE Transactions on Software Engineering, SE-23(1):267\u2013278, May 1997.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"1_CR8","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/32.210306","volume":"SE-19","author":"A. P. Ravn","year":"1993","unstructured":"A. P. Ravn, H. Rischel, and K. M. Hansen. Specifying and verifying requirements of real-time systems. IEEE Transactions on Software Engineering, SE-19(1):41\u201355, January 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR9","unstructured":"R. de Lemos A. Saeed and T. Anderson. The role of formal methods in the requirements analysis of safety-critical systems: a train set example. In Proceedings of the 21st Symposium on Fault-Tolerant Computing, Montreal, Canada, June 1991."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"M. Cepin et al. An object-based approach to modelling and analysis of failure properties. In P. Daniel, editor, 16th International conference on Safety Reliability and Security (SAFECOMP\u201997), pages 281\u2013294, York, UK, September 1997. Springer-Verlag.","DOI":"10.1007\/978-1-4471-0997-6_22"},{"issue":"5","key":"1_CR11","doi-asserted-by":"crossref","first-page":"824","DOI":"10.1109\/21.376495","volume":"25","author":"C.J. Garrett","year":"1995","unstructured":"C.J. Garrett, S.B. Guarro, and G.E. Apostolakis. The dynamic flowgraph methodology for assessing the dependability of embedded siftware systems. IEEE Transactions on Systems, Man and Cybernetics, 25(5):824\u2013840, May 1995.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"J.D. Reese and N.G. Leveson. Software Deviation Analysis. PhD thesis, UCI, 1996.","DOI":"10.1145\/253228.253281"},{"key":"1_CR13","unstructured":"F. C. Furteck. Constraints and Compromise, pages 189\u2013204. Foundations of Secure Computation. Academic Press, 1978."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"F. C. Furteck. Specification and verification of real-time, distributed systems using the theory of constraints. In W. Bibel and R. Kowlaski, editors, 5th Conference on Automated Deduction, pages 110\u2013125, Les Arcs, France, July 1980. Springer-Verlag.","DOI":"10.1007\/3-540-10009-1_10"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Y. Lebbah. Consistency checking by type inference and constraint satisfaction. In P. Daniel, editor, 16th International conference on Safety Reliability and Security (SAFECOMP\u201997), pages 253\u2013264, York, UK, September 1997. Springer-Verlag.","DOI":"10.1007\/978-1-4471-0997-6_20"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"S. Lajeunesse and A. Rauzy. Using the constraint programming system Toupie for qualitative analysis of industrial systems failures. In ESREL\u201997 International Conference on Safety and Reliability, pages 2021\u20132028, Lisbon Portugal, June 1997.","DOI":"10.1016\/B978-008042835-2\/50228-9"},{"key":"1_CR17","unstructured":"K. Kronlof, editor. Method Integration: concepts and case studies. John Wiley and Sons Ltd, 1993."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"J. Gorski and B. Nowicki. Safety analysis based on object-oriented modelling of critical systems. In E. Schoitsch, editor, 15th International conference on Safety Reliability and Security (SAFECOMP\u201996), pages 46\u201360, Vienna, Austria, October 1996.","DOI":"10.1007\/978-1-4471-0937-2_4"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"1_CR20","unstructured":"M. Muller et al. DFKI OZ, 1995."},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Models for Reactivity, volume 30. Acta Informatica, 1993.","DOI":"10.1007\/BF01191722"},{"issue":"1","key":"1_CR22","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1985.231845","volume":"SE-11","author":"B. Dasarathy","year":"1985","unstructured":"B. Dasarathy. Timing constraints of real-time systems: Constructs for expressing them, methods of validating them. IEEE Transactions on Software Engineering, SE-11(1):80\u201386, January 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"1_CR24","unstructured":"J.L. Paterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49646-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:57:09Z","timestamp":1737093429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49646-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651109","9783540496465"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-49646-7_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}