{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:50Z","timestamp":1761611150885},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/bf01235764","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T16:32:22Z","timestamp":1109349142000},"page":"27-46","source":"Crossref","is-referenced-by-count":18,"title":["A model for a causal logic for requirements engineering"],"prefix":"10.1007","volume":"1","author":[{"given":"Jonathan","family":"Moffett","sequence":"first","affiliation":[]},{"given":"Jon","family":"Hall","sequence":"additional","affiliation":[]},{"given":"Andrew","family":"Coombes","sequence":"additional","affiliation":[]},{"given":"John","family":"McDermid","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"SafeComp '95: 14th international conference on computer safety, reliability and security","author":"A Coombes","year":"1995","unstructured":"Coombes A, McDermid J, Moffett J, Morris P. Requirements analysis and safety: a case study (Using GRASP). In: SafeComp '95: 14th international conference on computer safety, reliability and security. Villa Carlotta, Belgirate, Italy, 1995"},{"key":"CR2","unstructured":"Jeremaes P, Khosla S, Maibaum TSE. A modal (action) logic for requirements specification. In Brown PJ, Barnes DJ (eds). Software Engineering '86. Peter Peregrinus, 1986, pp 278?294"},{"key":"CR3","volume-title":"Recent progress in the development of qualitative reasoning No","author":"R Leitch","year":"1993","unstructured":"Leitch R. Recent progress in the development of qualitative reasoning No. Heriot-Watt University, Scotland, 1993"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J Kleer de","year":"1984","unstructured":"de Kleer J, Brown JS. A qualitative physics based on confluences. Artif Intell 1984; 24: 7?83","journal-title":"Artif Intell"},{"key":"CR5","unstructured":"Shoham Y. Reasoning about change: time and causation from the point of view of artificial intelligence. PhD thesis, YALEU\/CSD\/RR#507, Department of Computer Science, Yale University, 1986"},{"key":"CR6","volume-title":"The Z notation: a reference manual","author":"JM Spivey","year":"1992","unstructured":"Spivey JM. The Z notation: a reference manual (2nd edn). Prentice Hall, Englewood Cliffs, NJ, 1992","edition":"2nd edn"},{"issue":"3","key":"CR7","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1002\/spe.4380250306","volume":"25","author":"I Toyn","year":"1995","unstructured":"Toyn I, McDermid JA. CADiZ: an architecture for Z tools and its implementation. Software Practice Exp 1995; 25(3): 305?330","journal-title":"Software Practice Exp"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-50302-1_4","volume-title":"Formal techniques in real-time and fault-tolerant systems","author":"A Pnueli","year":"1988","unstructured":"Pnueli A, Harel E. Applications of temporal logic to the specification of real-time systems. In: Joseph M (ed). Formal techniques in real-time and fault-tolerant systems. Springer-Verlag, Berlin, 1988, pp 84?98"},{"issue":"9","key":"CR9","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"SE12","author":"F Jahanian","year":"1986","unstructured":"Jahanian F, Mok AK. Safety analysis of timing properties in real-time systems. IEEE Trans Software Eng 1986; SE12(9): 890?904","journal-title":"IEEE Trans Software Eng"},{"key":"CR10","unstructured":"Suppes P. A probabilistic theory of causation. Acta Phil Fenn 1970; XXIV"},{"key":"CR11","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems","author":"R Milner","year":"1980","unstructured":"Milner R. A calculus of communicating systems. Springer-Verlag, Berlin, 1980"},{"key":"CR12","first-page":"105","volume-title":"Causation","author":"GH Wright von","year":"1993","unstructured":"von Wright GH. On the logic and epistemology of the causal relation. In: Sosa E, Tooley M (eds). Causation. Oxford University Press, Oxford, 1993, pp 105?124"},{"key":"CR13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-57697-5","volume-title":"Representing plans under uncertainty: a logic of time, chance and action","author":"Haddawy","year":"1994","unstructured":"Haddawy. Representing plans under uncertainty: a logic of time, chance and action. Springer-Verlag, Berlin, 1994"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0951-8320(94)90057-4","volume":"43","author":"JA McDermid","year":"1994","unstructured":"McDermid JA. Support for safety cases and safety arguments using SAM. Reliability Eng Syst Safety 1994; 43: 111?127","journal-title":"Reliability Eng Syst Safety"},{"key":"CR15","volume-title":"Causation","year":"1993","unstructured":"Sosa E, Tooley M (eds). Causation. Oxford University Press, Oxford, 1993"},{"key":"CR16","first-page":"33","volume-title":"Causation","author":"JL Mackie","year":"1993","unstructured":"Mackie JL. Causes and conditions. In: Sosa E, Tooley M (eds). Causation. Oxford University Press, Oxford, 1993, pp 33?55"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1093\/mind\/LX.239.363","volume":"196","author":"AW Burks","year":"1951","unstructured":"Burks AW. The logic of causal propositions. Mind 1951; 196: 363?382","journal-title":"Mind"},{"key":"CR18","first-page":"463","volume-title":"Machine intelligence 4","author":"J McCarthy","year":"1969","unstructured":"McCarthy J, Hayes P. Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer B, Michie D (eds). Machine intelligence 4. Edinburgh University Press, Edinburgh, 1969, pp 463?502"},{"key":"CR19","unstructured":"Ortiz CI. Causal pathways of rational action. In: 12th national conference on artificial intelligence (AAAI-94). Seattle, 1994, pp 1061?1066"},{"key":"CR20","unstructured":"Darwiche A, Pearl J. Symbolic causal networks. In: 12th national conference on artificial intelligence (AAAI-94). Seattle, 1994, pp 228?244"},{"key":"CR21","unstructured":"Geffner H. Causal default reasoning: principles and algorithms. In: 12th national conference on artificial intelligence (AAAI-94). Seattle, 1994, pp 245?250"},{"issue":"1","key":"CR22","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1080\/08839519508945465","volume":"9","author":"Y Iwasaki","year":"1995","unstructured":"Iwasaki Y, Vescovi M, Fikes R, Chandrasekaran B. Causal functional representation language with behavior-based semantics. Appl Artif Intell 1995;9(1): 5?31","journal-title":"Appl Artif Intell"},{"issue":"1","key":"CR23","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0004-3702(86)90089-5","volume":"29","author":"Y Iwasaki","year":"1986","unstructured":"Iwasaki Y, Simon HA. Causality in device behavior. Artif Intell, 1986; 29(1): 3?32","journal-title":"Artif Intell"},{"key":"CR24","unstructured":"Lin F. Embracing causality in specifying the indirect effect of actions. Technical Report, Department of Computer Science, University of Toronto, 1995"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/978-1-4471-3003-1_18","volume-title":"Achievement and assurance of safety","author":"J Gorski","year":"1995","unstructured":"Gorski J. Formalising fault trees. In: Redmill F, Anderson T (eds). Achievement and assurance of safety. Springer-Verlag, Berlin, 1995, pp 311?327"},{"issue":"no 11","key":"CR26","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen JF. Maintaining knowledge about temporal intervals, CACM (83), vol 26 no 11. Commun ACM, 1983; 26(11): 832?843","journal-title":"CACM (83)"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01235764.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01235764\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01235764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T06:03:11Z","timestamp":1556776991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01235764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF01235764"],"URL":"https:\/\/doi.org\/10.1007\/bf01235764","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}